Search the dblp DataBase
Thomas Käufl :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Thomas Käufl Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities. [Citation Graph (0, 0)][DBLP ] CADE, 1986, pp:300-305 [Conf ] Thomas Käufl Reasoning about Systems of Linear Inequalities. [Citation Graph (0, 0)][DBLP ] CADE, 1988, pp:563-572 [Conf ] Thomas Käufl , Nicolas Zabel The Theorem Prover of the Program Verifier Tatzelwurm. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:657-658 [Conf ] Thomas Käufl , Stefan Klingenbeck Tatzelwurm. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1994, pp:786-786 [Conf ] Peter Deussen , A. Hansmann , Thomas Käufl , Stefan Klingenbeck The Verification System Tatzelwurm. [Citation Graph (0, 0)][DBLP ] KORSO Book, 1995, pp:285-298 [Conf ] Stefan Klingenbeck , Thomas Käufl Tatzelwurm. [Citation Graph (0, 0)][DBLP ] Formal Development of Reactive Systems, 1995, pp:247-259 [Conf ] Thomas Käufl The Simplifier of the Program Verifier "Tatzelwurm". [Citation Graph (0, 0)][DBLP ] ÖGAI, 1985, pp:185-193 [Conf ] Thomas Käufl Reasoning about Theories with a Finite Model. [Citation Graph (0, 0)][DBLP ] ÖGAI, 1987, pp:168-175 [Conf ] Thomas Käufl The Program Verifier Tatzelwurm. [Citation Graph (0, 0)][DBLP ] STACS, 1993, pp:708-709 [Conf ] Thomas Käufl The Prover of the Program Verification System Tatzelwurm. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1992, pp:40-42 [Conf ] Search in 0.002secs, Finished in 0.003secs