%0 Thesis %1 salger2001verification %A Salger, Frank %D 2001 %K %T Verification in the hierarchical development of reactive systems

@phdthesis{salger2001verification, added-at = {2023-12-14T16:18:51.000+0100}, author = {Salger, Frank}, biburl = {https://www.bibsonomy.org/bibtex/271af9a12b1bc8681bc6ea355a90ef4ef/admin}, dnbtitleid = {963297260}, interhash = {f639cafea74c68a557c5707fcdef7355}, intrahash = {71af9a12b1bc8681bc6ea355a90ef4ef}, keywords = {}, school = {Uni Mannheim}, timestamp = {2023-12-14T16:18:51.000+0100}, title = {Verification in the hierarchical development of reactive systems}, year = 2001 }