%0 Conference Paper %1 conf/mbmv/WimmerBJAK12 %A Wimmer, Ralf %A Becker, Bernd %A Jansen, Nils %A Ábrahám, Erika %A Katoen, Joost-Pieter %B MBMV %D 2012 %E Brandt, Jens %E Schneider, Klaus %I Verlag Dr. Kovac %K %P 169-180 %T Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2012.html#WimmerBJAK12 %V 68 %@ 978-3-8300-6201-1

@inproceedings{conf/mbmv/WimmerBJAK12, added-at = {2023-12-12T18:26:01.000+0100}, author = {Wimmer, Ralf and Becker, Bernd and Jansen, Nils and Ábrahám, Erika and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/283e333b32fb8d1bd25fdb7a90d7e1587/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2012}, editor = {Brandt, Jens and Schneider, Klaus}, ee = {http://www.verlagdrkovac.de/3-8300-6201-X.htm}, interhash = {123dbdc9f8f1809cd37f2b1e07ef35e3}, intrahash = {83e333b32fb8d1bd25fdb7a90d7e1587}, isbn = {978-3-8300-6201-1}, keywords = {}, pages = {169-180}, publisher = {Verlag Dr. Kovac}, series = {Forschungsergebnisse zur Informatik}, timestamp = {2023-12-12T18:26:01.000+0100}, title = {Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2012.html#WimmerBJAK12}, volume = 68, year = 2012 }