Searching for authors named "Georg Rock" – sorted by Relevance.
-
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

