by Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
Reference:
Hierarchical counterexamples for discrete-time Markov chains (Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker), Chapter in Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, 2011.
Bibtex Entry:
@incollection{jansen2011hierarchical,
title={Hierarchical counterexamples for discrete-time Markov chains},
author={Jansen, Nils and {'A}brah{'a}m, Erika and Katelaan, Jens and Wimmer, Ralf and Katoen, Joost-Pieter and Becker, Bernd},
booktitle={Automated Technology for Verification and Analysis},
pages={443--452},
year={2011},
publisher={Springer Berlin Heidelberg}
}