| 1998 |
|---|
| 5 | EE | Franz Regensburger,
Aenne Barnard:
Formal Verification of SDL Systems at the Siemens Mobile Phone Department.
TACAS 1998: 439-455 |
| 1995 |
|---|
| 4 | | Rudi Hettler,
Dieter Nazareth,
Franz Regensburger,
Oscar Slotosch:
AVL Trees Revisited: A Case Study in SPECTRUM.
KORSO Book 1995: 128-149 |
| 3 | | Hans-Dieter Ehrich,
Franz Regensburger,
Wolfgang Grieskamp,
Carola Gerke,
Rudolf Herzig,
Martin Gogolla,
Grit Denker,
Ernst-Rüdiger Olderog:
Korso Reference Languages - Concepts and Application Domains.
KORSO Book 1995: 150-172 |
| 2 | | Franz Regensburger:
HOLCF: Higher Order Logic of Computable Functions.
TPHOLs 1995: 293-307 |
| 1993 |
|---|
| 1 | | Radu Grosu,
Franz Regensburger:
The Semantics of SPECTRUM.
HOA 1993: 124-145 |
