Uwe Petermann Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification. [Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2000, pp:351-355 [Conf]
Uwe Petermann Completeness of the Pool Calculus with an Open Built-in Theory. [Citation Graph (0, 0)][DBLP] Kurt Gödel Colloquium, 1993, pp:277-288 [Conf]
Uwe Petermann Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). [Citation Graph (0, 0)][DBLP] TABLEAUX, 1992, pp:64-66 [Conf]
Uwe Petermann Towards dependable development tools for embedded systems: a case study in software verification. [Citation Graph (0, 0)][DBLP] J. Exp. Theor. Artif. Intell., 2000, v:12, n:4, pp:489-498 [Journal]