@proceedings{Fra2011,
Author = {Frank Oppenheimer (Hrsg.)},
Title = {MBMV 2011 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},

Year = {2011},
Month = {02},
type = {proceedings}
}
@COMMENT{Bibtex file generated on }