@book{schneider2012-methoden,
  editor    = {Jens Brandt and Klaus Schneider},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2012},
  year      = {2012},
  publisher = {Verlag Dr. Kovač},
  series    = {Forschungsergebnisse zur Informatik},
  volume    = {68},
  isbn      = {978-3-8300-6201-1},
  address   = {Hamburg},
  pages     = {218},
  keywords  = {Informatik, Elektro-/Informationstechnik, Systementwurf, Beschreibungssprachen, Codesgin, Formale Verifikation, Simulation, Formale Modellierung, Informatik},
}