@miscBie2000, 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} @COMMENTBibtex file generated on