 | 1995 |
|---|
| 11 |       | Stefan Klingenbeck,
Thomas Käufl:
Tatzelwurm.
Formal Development of Reactive Systems 1995: 247-259 |
| 10 |  | Peter Deussen,
A. Hansmann,
Thomas Käufl,
Stefan Klingenbeck:
The Verification System Tatzelwurm.
KORSO Book 1995: 285-298 |
| 1994 |
|---|
| 9 | | Thomas Käufl,
Stefan Klingenbeck:
Tatzelwurm.
FTRTFT 1994: 786-786 |
| 1993 |
|---|
| 8 | | Thomas Käufl:
The Program Verifier Tatzelwurm.
STACS 1993: 708-709 |
| 1992 |
|---|
| 7 | | Bertram Fronhöfer,
Reiner Hähnle,
Thomas Käufl:
Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992
TABLEAUX 1992 |
| 6 | | Thomas Käufl:
The Prover of the Program Verification System Tatzelwurm.
TABLEAUX 1992: 40-42 |
| 1990 |
|---|
| 5 | | Thomas Käufl,
Nicolas Zabel:
The Theorem Prover of the Program Verifier Tatzelwurm.
CADE 1990: 657-658 |
| 1988 |
|---|
| 4 | | Thomas 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 |
|---|
| 2 | | Thomas 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page