MillerSB11'

@inproceedings{DBLP:conf/mbmv/MillerSB11,
  author    = {Christian Miller and
               Christoph Scholl and
               Bernd Becker},
  title     = {Verifying Incomplete Networks of Timed Automata},
  booktitle = {MBMV},
  year      = {2011},
  pages     = {113-122},
  crossref  = {DBLP:conf/mbmv/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mbmv/2011,
  editor    = {Frank Oppenheimer},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und
               Verifikation von Schaltungen und Systemen (MBMV), Oldenburg,
               Germany, February 21-23, 2011},
  booktitle = {MBMV},
  publisher = {OFFIS-Institut f{\"u}r Informatik},
  year      = {2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}