@inproceedings{HPJSSTTW032014,
               author = {H. Eichelberger, P. Heckeler, J. Ruf, S. Huster, S. Burg, T. Kropf, T. Greiner, W. Rosenstiel},
               title = {Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software},
               booktitle = {17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               year = {2014},
               month = {03},
               pages = {61-70},
               address = {IBM Deutschland}
}