%0 Journal Article %1 journals/corr/abs-1206-0603 %A Jansen, Nils %A Ábrahám, Erika %A Scheffler, Maik %A Volk, Matthias %A Vorpahl, Andreas %A Wimmer, Ralf %A Katoen, Joost-Pieter %A Becker, Bernd %D 2012 %J CoRR %K dblp %T The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains %U http://dblp.uni-trier.de/db/journals/corr/corr1206.html#abs-1206-0603 %V abs/1206.0603

@article{journals/corr/abs-1206-0603, added-at = {2018-08-13T00:00:00.000+0200}, author = {Jansen, Nils and Ábrahám, Erika and Scheffler, Maik and Volk, Matthias and Vorpahl, Andreas and Wimmer, Ralf and Katoen, Joost-Pieter and Becker, Bernd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2984d9654b2150297f357f465a598095a/dblp}, ee = {http://arxiv.org/abs/1206.0603}, interhash = {9b0b4ce56437c8ef3dcfb1d792dc191e}, intrahash = {984d9654b2150297f357f465a598095a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T10:20:32.000+0200}, title = {The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1206.html#abs-1206-0603}, volume = {abs/1206.0603}, year = 2012 }