- 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 | ||
| 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] |