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