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

Thomas Käufl Vis

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

*1995
10 Stefan Klingenbeck, Thomas Käufl: Tatzelwurm. Formal Development of Reactive Systems 1995: 247-259
9 Peter Deussen, A. Hansmann, Thomas Käufl, Stefan Klingenbeck: The Verification System Tatzelwurm. KORSO Book 1995: 285-298
1994
8 Thomas Käufl, Stefan Klingenbeck: Tatzelwurm. FTRTFT 1994: 786-786
1993
7EEThomas Käufl: The Program Verifier Tatzelwurm. STACS 1993: 708-709
1992
6 Thomas Käufl: The Prover of the Program Verification System Tatzelwurm. TABLEAUX 1992: 40-42
1990
5EEThomas Käufl, Nicolas Zabel: The Theorem Prover of the Program Verifier Tatzelwurm. CADE 1990: 657-658
1988
4EEThomas Käufl: Reasoning about Systems of Linear Inequalities. CADE 1988: 563-572
1987
3 Thomas Käufl: Reasoning about Theories with a Finite Model. ÖGAI 1987: 168-175
1986
2EEThomas Käufl: Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities. CADE 1986: 300-305
1985
1 Thomas Käufl: The Simplifier of the Program Verifier "Tatzelwurm". ÖGAI 1985: 185-193

Coauthor Index

1Peter Deussen [9]
2A. Hansmann [9]
3Stefan Klingenbeck [8] [9] [10]
4Nicolas Zabel [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)