Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 rockl2001mechanized
%A Röckl, Christine
%D 2001
%K
%T On the mechanized validation of infinite-state and parameterized reactive and mobile systems
@phdthesis{rockl2001mechanized,
added-at = {2023-12-13T09:54:44.000+0100},
author = {Röckl, Christine},
biburl = {https://www.bibsonomy.org/bibtex/22ae02d73d1227b3100390c00fa92d630/admin},
dnbtitleid = {962067180},
interhash = {d2d325e165341076b54b768a43c21f93},
intrahash = {2ae02d73d1227b3100390c00fa92d630},
keywords = {},
school = {TU München},
timestamp = {2023-12-13T09:54:44.000+0100},
title = {On the mechanized validation of infinite-state and parameterized reactive and mobile systems},
year = 2001
}