@inproceedings{JPSDJTW022011,
               author = {J. Behrend, P. Heckeler, S. Huster, D. Lettnin, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Scalable and Extendable Hybrid Verification Platform},
               booktitle = {14. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               year = {2011},
               month = {02},
               address = {Oldenburg, Germany}
}