Hat mitgewirkt an:
-
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]