| Towards an automatic analysis of security protocols in first-order logic H Ganzinger, C Weidenbach Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999 | 349* | 1999 |
| Spass Version 2.0 C Weidenbach, U Brahm, T Hillenbrand, E Keen, C Theobald, D Topić Automated Deduction—CADE-18: 18th International Conference on Automated …, 2002 | 212 | 2002 |
| D. Topic C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ... System abstract: Spass version 1 (0), 378-382, 0 | 11 | |
| System Description: Spass Version 1.0.0 H Ganzinger, C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, ... Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999 | | 1999 |
| of Proceedings: Proceedings of the 16th International Conference on Automated Deduction (CADE-16) C Weidenbach, B Afshordel, U Brahm, C Cohrs, T Engel, E Keen, ... Springer, 1999 | | 1999 |
| Parkwächter U Brahm, W Pitz C't Magazin für Computer Technik, 252-253, 1990 | | 1990 |
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
