Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Claus Sengler

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1997
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0089698
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Sengler96
- ask others
Claus Sengler: Termination of Algorithms over Non-freely Generated Data Types. CADE 1996: 121-135
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/HutterS96
- ask others
Dieter Hutter, Claus Sengler: INKA: The Next Generation. CADE 1996: 288-292
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/HutterLSSSW96
- ask others
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]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vis/UllmannHLKFBRSWCHSC93
- ask others
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

see FAQ

What is the meaning of the colors in the coauthor index?