by Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
Reference:
Symbolic Counterexample Generation for Discrete-Time Markov Chains. (Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker), In FACS, 2012.
Bibtex Entry:
@inproceedings{jansen2012symbolic,
title={Symbolic Counterexample Generation for Discrete-Time Markov Chains.},
author={Jansen, Nils and {'A}brah{'a}m, Erika and Zajzon, Barna and Wimmer, Ralf and Schuster, Johann and Katoen, Joost-Pieter and Becker, Bernd},
booktitle={FACS},
pages={134--151},
year={2012}
}