by Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Abrahám
Reference:
SMT-based Counterexample Generation for Markov Chains. (Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Abrahám), In MBMV, 2011.
Bibtex Entry:
@inproceedings{braitling2011smt,
title={SMT-based Counterexample Generation for Markov Chains.},
author={Braitling, Bettina and Wimmer, Ralf and Becker, Bernd and Jansen, Nils and Abrah{'a}m, Erika},
booktitle={MBMV},
pages={19--28},
year={2011}
}