%0 Thesis %1 phd/dnb/Salger01 %A Salger, Frank %D 2001 %K dblp %P 1-167 %T Verification in the hierarchical development of reactive systems.

@phdthesis{phd/dnb/Salger01, added-at = {2021-07-17T00:00:00.000+0200}, author = {Salger, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2d1df6ff3d53727ceeeb04911e578dbc2/dblp}, ee = {https://d-nb.info/963297260}, interhash = {f639cafea74c68a557c5707fcdef7355}, intrahash = {d1df6ff3d53727ceeeb04911e578dbc2}, keywords = {dblp}, pages = {1-167}, school = {University of Mannheim, Germany}, timestamp = {2024-04-09T08:32:11.000+0200}, title = {Verification in the hierarchical development of reactive systems.}, year = 2001 }