by Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Reference:
Accelerating parametric probabilistic verification (Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker), Chapter in Quantitative Evaluation of Systems, Springer International Publishing, 2014.
Bibtex Entry:
@incollection{jansen2014accelerating,
title={Accelerating parametric probabilistic verification},
author={Jansen, Nils and Corzilius, Florian and Volk, Matthias and Wimmer, Ralf and {'A}brah{'a}m, Erika and Katoen, Joost-Pieter and Becker, Bernd},
booktitle={Quantitative Evaluation of Systems},
pages={404--420},
year={2014},
publisher={Springer International Publishing}
}