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