%0 Journal Article %1 journals/tcs/WimmerJAKB14 %A Wimmer, Ralf %A Jansen, Nils %A Ábrahám, Erika %A Katoen, Joost-Pieter %A Becker, Bernd %D 2014 %J Theor. Comput. Sci. %K %P 61-100 %T Minimal counterexamples for linear-time probabilistic verification. %U http://dblp.uni-trier.de/db/journals/tcs/tcs549.html#WimmerJAKB14 %V 549

@article{journals/tcs/WimmerJAKB14, added-at = {2023-12-13T09:16:06.000+0100}, author = {Wimmer, Ralf and Jansen, Nils and Ábrahám, Erika and Katoen, Joost-Pieter and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/237b31eefbbb055a58ff90dee4c9596ef/admin}, ee = {https://www.wikidata.org/entity/Q57800843}, interhash = {cc4b62b3917a126169ecb9267ada4b67}, intrahash = {37b31eefbbb055a58ff90dee4c9596ef}, journal = {Theor. Comput. Sci.}, keywords = {}, pages = {61-100}, timestamp = {2023-12-13T09:16:06.000+0100}, title = {Minimal counterexamples for linear-time probabilistic verification.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs549.html#WimmerJAKB14}, volume = 549, year = 2014 }