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