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},
  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},
  pages     = {169--180},
  year      = {2012},
  crossref  = {DBLP:conf/mbmv/2012},
  timestamp = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/WimmerBJAK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2012,
  editor    = {Jens Brandt and
               Klaus Schneider},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
               5-7, 2012},
  publisher = {Verlag Dr. Kovac},
  year      = {2012},
  timestamp = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mbmv/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics