%0 Conference Paper %1 conf/facs2/JansenAZWSKB12 %A Jansen, Nils %A Ábrahám, Erika %A Zajzon, Barna %A Wimmer, Ralf %A Schuster, Johann %A Katoen, Joost-Pieter %A Becker, Bernd %B FACS %D 2012 %E Pasareanu, Corina S. %E Salaün, Gwen %I Springer %K %P 134-151 %T Symbolic Counterexample Generation for Discrete-Time Markov Chains. %U http://dblp.uni-trier.de/db/conf/facs2/facs2012.html#JansenAZWSKB12 %V 7684 %@ 978-3-642-35861-6

@inproceedings{conf/facs2/JansenAZWSKB12, added-at = {2023-12-12T20:57:12.000+0100}, author = {Jansen, Nils and Ábrahám, Erika and Zajzon, Barna and Wimmer, Ralf and Schuster, Johann and Katoen, Joost-Pieter and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2621177dd0147b2ab0e6562d1c994f27c/admin}, booktitle = {FACS}, crossref = {conf/facs2/2012}, editor = {Pasareanu, Corina S. and Salaün, Gwen}, ee = {https://www.wikidata.org/entity/Q57801030}, interhash = {36db46305b8371f338b3b2709576c3f3}, intrahash = {621177dd0147b2ab0e6562d1c994f27c}, isbn = {978-3-642-35861-6}, keywords = {}, pages = {134-151}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:57:12.000+0100}, title = {Symbolic Counterexample Generation for Discrete-Time Markov Chains.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2012.html#JansenAZWSKB12}, volume = 7684, year = 2012 }