|
Search the dblp DataBase
Stefan Klingenbeck:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stefan Klingenbeck, Reiner Hähnle
Semantic Tableaux with Ordering Restrictions. [Citation Graph (0, 0)][DBLP] CADE, 1994, pp:708-722 [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]
- Stefan Klingenbeck
Generating Finite Counter Examples with Semantic Tableaux. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1995, pp:31-46 [Conf]
- Reiner Hähnle, Stefan Klingenbeck
A-Ordered Tableaux. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1996, v:6, n:6, pp:819-833 [Journal]
Search in 0.001secs, Finished in 0.001secs
|