@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 }