@phdthesis{Tom2003, Author = {Tom Bienm├╝ller}, Title = {Complexity for the Verification of Statemate Designs}, Year = {2003}, Month = {01}, type = {phdthesis} } @COMMENT{Bibtex file generated on }