%0 Conference Paper %1 conf/mbmv/BraitlingWBJA11 %A Braitling, Bettina %A Wimmer, Ralf %A Becker, Bernd %A Jansen, Nils %A Ábrahám, Erika %B MBMV %D 2011 %E Oppenheimer, Frank %I OFFIS-Institut für Informatik %K %P 19-28 %T SMT-based Counterexample Generation for Markov Chains. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2011.html#BraitlingWBJA11

@inproceedings{conf/mbmv/BraitlingWBJA11, added-at = {2023-12-12T18:37:44.000+0100}, author = {Braitling, Bettina and Wimmer, Ralf and Becker, Bernd and Jansen, Nils and Ábrahám, Erika}, biburl = {https://www.bibsonomy.org/bibtex/2ac627c784eae5679be2f2b0b390675bd/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2011}, editor = {Oppenheimer, Frank}, interhash = {1506729419ccc52545c96abe3d208147}, intrahash = {ac627c784eae5679be2f2b0b390675bd}, keywords = {}, pages = {19-28}, publisher = {OFFIS-Institut für Informatik}, timestamp = {2023-12-12T18:37:44.000+0100}, title = {SMT-based Counterexample Generation for Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2011.html#BraitlingWBJA11}, year = 2011 }