Claus Sengler

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1997
b1		Claus Sengler: Induction on non-freely generated data types. DISKI 160, Infix 1997, isbn 978-3-89601-160-2, pp. I-XXI, 1-384
	1996
c4		Claus Sengler: Termination of Algorithms over Non-freely Generated Data Types. CADE 1996: 121-135
c3		Dieter Hutter, Claus Sengler: INKA: The Next Generation. CADE 1996: 288-292
c2		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
c1		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

Last update Thu May 23 08:14:52 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page