From a365327bce63392bff4ddaa655e897895815b47b Mon Sep 17 00:00:00 2001 From: Ben Wooding <38587669+Kiguli@users.noreply.github.com> Date: Tue, 10 Sep 2024 15:36:26 -0600 Subject: [PATCH] Update CITATION.cff updated to QEST+FORMATS file --- CITATION.cff | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/CITATION.cff b/CITATION.cff index c3a43c5..bf89217 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -21,10 +21,8 @@ preferred-citation: - family-names: "Lavaei" given-names: "Abolfazl" orcid: "" - doi: "10.48550/arXiv.2401.03555" - journal: "arXiv" - month: 1 - start: 1 # First page number - end: 33 # Last page number title: "IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems" - year: 2024 \ No newline at end of file + booktitle: "International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems" + pages: "249--267" + year: 2024 + publisher: "Springer"