@article{Bie2001, Author = {Bienm├╝ller, T. and Damm, W. and Klose, J. and Wittke, H.}, Title = {Formale Analyse und Verifikation von Statemate Entw├╝rfen}, Year = {2001}, Pages = {29ff}, Month = {01}, type = {article} } @COMMENT{Bibtex file generated on }