BibTeX record conf/mbmv/WimmerBJAK12

download as .bib file

@inproceedings{DBLP:conf/mbmv/WimmerBJAK12,
  author       = {Ralf Wimmer and
                  Bernd Becker and
                  Nils Jansen and
                  Erika {\'{A}}brah{\'{a}}m and
                  Joost{-}Pieter Katoen},
  editor       = {Jens Brandt and
                  Klaus Schneider},
  title        = {Minimal Critical Subsystems as Counterexamples for omega-Regular {DTMC}
                  Properties},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
                  5-7, 2012},
  series       = {Forschungsergebnisse zur Informatik},
  volume       = {68},
  pages        = {169--180},
  publisher    = {Verlag Dr. Kovac},
  year         = {2012},
  timestamp    = {Fri, 26 Jun 2020 16:58:03 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/WimmerBJAK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}