| 1996 |
|---|
| 4 | | Claus Sengler:
Termination of Algorithms over Non-freely Generated Data Types.
CADE 1996: 121-135 |
| 3 | | Dieter Hutter,
Claus Sengler:
INKA: The Next Generation.
CADE 1996: 288-292 |
| 2 | | Dieter Hutter,
Bruno Langenstein,
Claus Sengler,
Jörg H. Siekmann,
Werner Stephan,
Andreas Wolpers:
Deduction in the Verification Support Environment (VSE).
FME 1996: 268-286 |
| 1993 |
|---|
| 1 | | Markus Ullmann,
H. Hauff,
D. Loevenich,
P. Kejwal,
R. Förster,
P. Baur,
Wolfgang Reif,
Werner Stephan,
Andreas Wolpers,
Jürgen Cleve,
Dieter Hutter,
Claus Sengler,
E. Canver:
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
VIS 1993: 175-190 |
