%0 Thesis %1 phd/dnb/Rockl01 %A Röckl, Christine %D 2001 %K dblp %P 1-122 %T On the mechanized validation of infinite-state and parameterized reactive and mobile systems.

@phdthesis{phd/dnb/Rockl01, added-at = {2021-07-17T00:00:00.000+0200}, author = {Röckl, Christine}, biburl = {https://www.bibsonomy.org/bibtex/269b703722cc0e2b7ae4eca69ded63752/dblp}, ee = {https://d-nb.info/962067180}, interhash = {d2d325e165341076b54b768a43c21f93}, intrahash = {69b703722cc0e2b7ae4eca69ded63752}, keywords = {dblp}, pages = {1-122}, school = {Technical University Munich, Germany}, timestamp = {2024-04-09T08:11:16.000+0200}, title = {On the mechanized validation of infinite-state and parameterized reactive and mobile systems.}, year = 2001 }