@inproceedings{AJDPJTW032012,
               author = {A. Grünhage, J. Behrend, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf, W. Rosenstiel },
               title = {Optimized Static Parameter Assignment for Semiformal Software Verification},
               booktitle = {15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
               year = {2012},
               month = {03},
               address = {Kaiserslautern, Germany}
}