by Erika Abrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
Reference:
DTMC model checking by SCC reduction (Erika Abrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker), In Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the, 2010.
Bibtex Entry:
@inproceedings{abraham2010dtmc,
title={DTMC model checking by SCC reduction},
author={Abrah{'a}m, Erika and Jansen, Nils and Wimmer, Ralf and Katoen, Joost-Pieter and Becker, Bernd},
booktitle={Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the},
pages={37--46},
year={2010},
organization={IEEE}
}