%0 Report %1 Hamberger99integratingtheorem %A Hamberger, Tobias %D 1999 %K ioautomata isabelle modelchecking verification %T Integrating Theorem Proving and Model Checking in Isabelle/IOA

@techreport{Hamberger99integratingtheorem, added-at = {2011-01-25T17:22:26.000+0100}, author = {Hamberger, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2688086c016becf2eb51592b2799a8b4a/giuliano.losa}, institution = {TU Munchen}, interhash = {b6ec0a9eef42f00e78e3378017327c76}, intrahash = {688086c016becf2eb51592b2799a8b4a}, keywords = {ioautomata isabelle modelchecking verification}, timestamp = {2011-01-25T17:22:26.000+0100}, title = {Integrating Theorem Proving and Model Checking in Isabelle/IOA}, year = 1999 }