@misc{Bie2000, Author = {Bienm├╝ller, T. and Brockmeyer, U. and Holberg, H. J and Wittke, H.}, Title = {Automatic Debugging for STATEMATE Designs}, Year = {2000}, Month = {01}, type = {misc} } @COMMENT{Bibtex file generated on }