dblp.uni-trier.dewww.uni-trier.de

Stefan Klingenbeck Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1996
6 Reiner Hähnle, Stefan Klingenbeck: A-Ordered Tableaux. J. Log. Comput. 6(6): 819-833 (1996)
1995
5 Stefan Klingenbeck, Thomas Käufl: Tatzelwurm. Formal Development of Reactive Systems 1995: 247-259
4 Peter Deussen, A. Hansmann, Thomas Käufl, Stefan Klingenbeck: The Verification System Tatzelwurm. KORSO Book 1995: 285-298
3 Stefan Klingenbeck: Generating Finite Counter Examples with Semantic Tableaux. TABLEAUX 1995: 31-46
1994
2EEStefan Klingenbeck, Reiner Hähnle: Semantic Tableaux with Ordering Restrictions. CADE 1994: 708-722
1 Thomas Käufl, Stefan Klingenbeck: Tatzelwurm. FTRTFT 1994: 786-786

Coauthor Index

1Peter Deussen [4]
2Reiner Hähnle [2] [6]
3A. Hansmann [4]
4Thomas Käufl [1] [4] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)