G. Rock: List of selected publications

---

1. Georg Rock
   Master Thesis of Georg Rock. : Transformations of First-Order Formulae for Automated Reasoning
   
2. Georg Rock
   System Description of FLOTTER at CADE 13.
3. Georg Rock, Werner Stephan, Andreas Wolpers
   Tool Support for the Compositional Development of Distributed Systems
   Formale Beschreibungstechniken für verteilte Systeme
   GI/ITG-Fachgespräch, 19.--20. Juni 1997, Berlin
   GMD-Studien Nr. 315, ISBN: 3-88457-514-2
   PostScript DVI
4. see also: KIV- and VSE- pages for papers describing the VSE and the KIV systems.

---