@inproceedings{HPSSJTWB032013,
author = { H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, B. Schlich},
title = {Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen},
booktitle = {16. Workshop Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
publisher = {Universität Rostock},
year = {2013},
month = {03},
pages = {161-170},
}