Skip to content

Commit

Permalink
Update CITATION.cff
Browse files Browse the repository at this point in the history
updated to QEST+FORMATS file
  • Loading branch information
Kiguli authored Sep 10, 2024
1 parent f5e32ea commit a365327
Showing 1 changed file with 4 additions and 6 deletions.
10 changes: 4 additions & 6 deletions CITATION.cff
Original file line number Diff line number Diff line change
Expand Up @@ -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
booktitle: "International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems"
pages: "249--267"
year: 2024
publisher: "Springer"

0 comments on commit a365327

Please sign in to comment.