|
Search the dblp DataBase
Claus Sengler:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dieter Hutter, Claus Sengler
INKA: The Next Generation. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:288-292 [Conf]
- Claus Sengler
Termination of Algorithms over Non-freely Generated Data Types. [Citation Graph (0, 0)][DBLP] CADE, 1996, pp:121-135 [Conf]
- Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
Deduction in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP] FME, 1996, pp:268-286 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] VIS, 1993, pp:175-190 [Conf]
Search in 0.001secs, Finished in 0.001secs
|