@inproceedings{25612,
  author       = {{Mischkalla, Fabian and Müller, Wolfgang}},
  booktitle    = {{Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}},
  title        = {{{Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen}}},
  year         = {{2013}},
}