%0 Conference Paper %1 conf/forte/BraitlingWBJA11 %A Braitling, Bettina %A Wimmer, Ralf %A Becker, Bernd %A Jansen, Nils %A Ábrahám, Erika %B FMOODS/FORTE %D 2011 %E Bruni, Roberto %E Dingel, Jürgen %I Springer %K dblp %P 75-89 %T Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/forte/forte2011.html#BraitlingWBJA11 %V 6722 %@ 978-3-642-21460-8

@inproceedings{conf/forte/BraitlingWBJA11, added-at = {2018-11-02T00:00:00.000+0100}, author = {Braitling, Bettina and Wimmer, Ralf and Becker, Bernd and Jansen, Nils and Ábrahám, Erika}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f41cf6673710363e87d7cbfd70fb5fde/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2011}, editor = {Bruni, Roberto and Dingel, Jürgen}, ee = {https://doi.org/10.1007/978-3-642-21461-5_5}, interhash = {7f22a90906b4b1ff453dbc094e133636}, intrahash = {f41cf6673710363e87d7cbfd70fb5fde}, isbn = {978-3-642-21460-8}, keywords = {dblp}, pages = {75-89}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:33:01.000+0200}, title = {Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2011.html#BraitlingWBJA11}, volume = 6722, year = 2011 }