%0 Conference Paper %1 conf/atva/JansenAVWKB12 %A Jansen, Nils %A Ábrahám, Erika %A Volk, Matthias %A Wimmer, Ralf %A Katoen, Joost-Pieter %A Becker, Bernd %B ATVA %D 2012 %E Chakraborty, Supratik %E Mukund, Madhavan %I Springer %K %P 349-353 %T The COMICS Tool - Computing Minimal Counterexamples for DTMCs. %U http://dblp.uni-trier.de/db/conf/atva/atva2012.html#JansenAVWKB12 %V 7561 %@ 978-3-642-33385-9

@inproceedings{conf/atva/JansenAVWKB12, added-at = {2023-12-13T03:27:26.000+0100}, author = {Jansen, Nils and Ábrahám, Erika and Volk, Matthias and Wimmer, Ralf and Katoen, Joost-Pieter and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2c754d93c0d995975186c27e48d4b88a3/admin}, booktitle = {ATVA}, crossref = {conf/atva/2012}, editor = {Chakraborty, Supratik and Mukund, Madhavan}, ee = {https://www.wikidata.org/entity/Q57801168}, interhash = {8b946422221e75c746428308b890a785}, intrahash = {c754d93c0d995975186c27e48d4b88a3}, isbn = {978-3-642-33385-9}, keywords = {}, pages = {349-353}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T03:27:26.000+0100}, title = {The COMICS Tool - Computing Minimal Counterexamples for DTMCs.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2012.html#JansenAVWKB12}, volume = 7561, year = 2012 }