Searching for authors named "Peter Schmitt" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
A Model Theoretic Semantics of OCL
- …A Model Theoretic Semantics of OCL Peter H. Schmitt Universitat Karlsruhe Institute for Logic…
- Cited by 6 (3 self) – Add To MetaCart
-
Iterate Logic
- …Iterate Logic Peter H. Schmitt Universitat Karlsruhe, Institute for Logic, Complexity…
- Cited by 2 (0 self) – Add To MetaCart
-
Education via Nets
- …Education via Nets Peter H. Schmitt, Sven Clauen University of Karlsruhe, Germany Abstract…
- Add To MetaCart
-
Automated Deduction with Shannon Graphs
- …Automated Deduction with Shannon Graphs Joachim Posegga & Peter H. Schmitt Universitat Karlsruhe…
- Cited by 3 (0 self) – Add To MetaCart
-
A Tableau System for Linear Temporal Logic
- …A Tableau System for Linear Temporal Logic Peter H. Schmitt Jean Goubault-Larrecq y P.H.Schmitt…
- Cited by 1 (1 self) – Add To MetaCart
-
A Tableau System for Full Linear Temporal Logic
- …A Tableau System for Full Linear Temporal Logic Peter H. Schmitt Jean Goubault-Larrecq y P.H.Schmitt…
- Cited by 3 (0 self) – Add To MetaCart
-
Verifying the Mondex case study
- …Verifying the Mondex Case Study Peter H. Schmitt Universität Karlsruhe Institute for Theoretical…
- Cited by 3 (1 self) – Add To MetaCart
-
Program Verification Using Change Information
- …Program Verification Using Change Information Bernhard Beckert and Peter H. Schmitt Universitat…
- Cited by 13 (4 self) – Add To MetaCart
-
Inferring Invariants by Symbolic Execution
- …Inferring Invariants by Symbolic Execution Peter H. Schmitt and Benjamin Weiß University…
- Cited by 1 (0 self) – Add To MetaCart
-
A Tableau Calculus For First-Order Branching Time Logic
- … for First-Order Branching Time Logic Wolfgang May 1 and Peter H. Schmitt 2 1 Institut fur Informatik…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
