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} }