Jasper Berendsen, David N. Jansen, Frits W. Vaandrager. Fortuna: Model Checking Priced Probabilistic Timed Automata. In QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010. pages 273-281, IEEE Computer Society, 2010. [doi]
@inproceedings{BerendsenJV10,
title = {Fortuna: Model Checking Priced Probabilistic Timed Automata},
author = {Jasper Berendsen and David N. Jansen and Frits W. Vaandrager},
year = {2010},
doi = {10.1109/QEST.2010.41},
url = {http://dx.doi.org/10.1109/QEST.2010.41},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/BerendsenJV10},
cites = {0},
citedby = {0},
pages = {273-281},
booktitle = {QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4188-4},
}