Searching for authors named "Georg Rock" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Tool Support for the Compositional Development of Distributed Systems
- …Tool Support for the Compositional Development of Distributed Systems Georg Rock Werner Stephan…
- Cited by 9 (6 self) – Add To MetaCart
-
Assumption-Commitment Specifications And Safety-Critical Systems
- …Assumption--Commitment Specifications And Safety--Critical Systems Georg Rock Werner Stephan…
- Cited by 2 (2 self) – Add To MetaCart
-
On Generating Small Clause Normal Forms
- …On Generating Small Clause Normal Forms Andreas Nonnengart 1 , Georg Rock 2 , and Christoph…
- Cited by 69 (2 self) – Add To MetaCart
-
SPASS FLOTTER Version 0.42
- …SPASS & FLOTTER Version 0.42 Christoph Weidenbach and Bernd Gaede and Georg Rock Max…
- Cited by 50 (2 self) – Add To MetaCart
-
Structured Formal Development in VSE II: The Robertino Case Study
- …Structured Formal Development in VSE II: The Robertino Case Study Georg Rock 1 , Werner Stephan…
- Add To MetaCart
-
Structured Formal Development in VSE II: The Robertino Case Study
- …Structured Formal Development in VSE II: The Robertino Case Study Georg Rock 1 , Werner Stephan…
- Add To MetaCart
-
VSE: Formal Methods Meet Industrial Needs
- … Methods Meet Industrial Needs Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock…
- Cited by 3 (3 self) – Add To MetaCart
-
Transformations of First-Order Formulae for Automated Reasoning. Diplomarbeit, Max-Planck-Institut fur Informatik
- … Transformations of First-Order Formulae for Automated Reasoning Diplomarbeit Georg Rock…
- Cited by 2 (2 self) – Add To MetaCart
-
Formal Software Development in the Verification Support Environment (VSE)
- … Langenstein Georg Rock J org H. Siekmann Werner Stephan Roland Vogt Deutsches Forschungszentrum f ur K…
- Cited by 2 (0 self) – Add To MetaCart
-
VSE: Controlling the Complexity in Formal Software Developments
- …VSE: Controlling the Complexity in Formal Software Developments Dieter Hutter, Heiko Mantel, Georg…
- Cited by 7 (2 self) – Add To MetaCart
Showing 1 through 10.
