dblp.uni-trier.dewww.uni-trier.de

Claus Sengler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1P. Baur [1]
2E. Canver [1]
3Jürgen Cleve [1]
4R. Förster [1]
5H. Hauff [1]
6Dieter Hutter [1] [2] [3]
7P. Kejwal [1]
8Bruno Langenstein [2]
9D. Loevenich [1]
10Wolfgang Reif [1]
11Jörg H. Siekmann [2]
12Werner Stephan [1] [2]
13Markus Ullmann [1]
14Andreas Wolpers [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)