%0 Journal Article %1 journals/scp/JansenWAZKBS14 %A Jansen, Nils %A Wimmer, Ralf %A Ábrahám, Erika %A Zajzon, Barna %A Katoen, Joost-Pieter %A Becker, Bernd %A Schuster, Johann %D 2014 %J Sci. Comput. Program. %K %P 90-114 %T Symbolic counterexample generation for large discrete-time Markov chains. %U http://dblp.uni-trier.de/db/journals/scp/scp91.html#JansenWAZKBS14 %V 91

@article{journals/scp/JansenWAZKBS14, added-at = {2023-12-13T00:45:42.000+0100}, author = {Jansen, Nils and Wimmer, Ralf and Ábrahám, Erika and Zajzon, Barna and Katoen, Joost-Pieter and Becker, Bernd and Schuster, Johann}, biburl = {https://www.bibsonomy.org/bibtex/29f3c167d6ddcc4a2c6e29cc671827e05/admin}, ee = {https://www.wikidata.org/entity/Q57800918}, interhash = {6802f4a807c069eed95c3d519703ab9a}, intrahash = {9f3c167d6ddcc4a2c6e29cc671827e05}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {90-114}, timestamp = {2023-12-13T00:45:42.000+0100}, title = {Symbolic counterexample generation for large discrete-time Markov chains.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp91.html#JansenWAZKBS14}, volume = 91, year = 2014 }