| |
| 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 | ||
| 7 | Thomas 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 | ||
| 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 | |
| 1 | Peter Deussen | [9] |
| 2 | A. Hansmann | [9] |
| 3 | Stefan Klingenbeck | [8] [9] [10] |
| 4 | Nicolas Zabel | [5] |