Works:
- An approach for the verification and synthesis of complete test generation algorithms for finite state machines
- Zur Charakterisierung isometrischer und konformer Abbildungen zwischen pseudo-Riemannschen Mannigfaltigkeiten
- Formal methods and the development of dependable systems
- Tools for system development and verification : workshop, proceedings, Bremen, Germany, July 1996 ; [proceedings of the Workshop on Tool Support for System Development and Verification]