@phdthesis{Bro1999, Author = {Brockmeyer, Udo}, Title = {Verifikation von STATEMATE Designs}, Year = {1999}, Month = {01}, type = {phdthesis} } @COMMENT{Bibtex file generated on }