%0 Thesis %1 brockmeyer1999verifikation %A Brockmeyer, Udo %D 1999 %K %T Verifikation von Statemate Designs: Dissertation

@phdthesis{brockmeyer1999verifikation, added-at = {2023-12-12T22:23:11.000+0100}, author = {Brockmeyer, Udo}, biburl = {https://www.bibsonomy.org/bibtex/212fe8344c39f48613184cba80e635929/admin}, dnbtitleid = {958683654}, interhash = {49c233b6c18648c162f7cfe71af18577}, intrahash = {12fe8344c39f48613184cba80e635929}, keywords = {}, school = {Uni Oldenburg}, timestamp = {2023-12-12T22:23:11.000+0100}, title = {Verifikation von Statemate Designs: Dissertation}, year = 1999 }