| 1996 |
|---|
| 8 | | Holger Busch:
Proving Liveness of Fair Transition Systems.
TPHOLs 1996: 77-92 |
| 1995 |
|---|
| 7 | | Holger Busch:
A Practical Method for Reasoning about Distributed Systems in a Theorem Prover.
TPHOLs 1995: 106-121 |
| 1994 |
|---|
| 6 | | Holger Busch:
A Reduced Instruction Set Proof Environment.
TPCD 1994: 280-285 |
| 5 | | Holger Busch:
First-Order Automation for Higher-Order-Logic Theorem Proving.
TPHOLs 1994: 97-112 |
| 4 | | Holger Busch:
Rule-Based Induction.
Formal Methods in System Design 5(1/2): 7-33 (1994) |
| 1992 |
|---|
| 3 | | Holger Busch:
Transformational Design in a Theorem Prover.
TPCD 1992: 175-196 |
| 2 | | Holger Busch:
Unification Based Induction.
TPHOLs 1992: 97-116 |
| 1991 |
|---|
| 1 | EE | Holger Busch,
Gerd Venzl:
Proof-Aided Design of Verified Hardware.
DAC 1991: 391-396 |
