@book{53587,
  editor       = {{Müller, Wolfgang and Rammig, Franz Josef}},
  isbn         = {{3-931466- 35-3}},
  title        = {{{Proceedings des Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}}},
  year         = {{1998}},
}