@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}
}