| |
| 1995 | ||
|---|---|---|
| 5 | EE | Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl: Model Checking in Industrial Hardware Design. DAC 1995: 298-303 |
| 1992 | ||
| 4 | Jörg Bormann, H. Nusser-Wehlan, Gerd Venzl: Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives. Designing Correct Circuits 1992: 193-213 | |
| 1991 | ||
| 3 | EE | Holger Busch, Gerd Venzl: Proof-Aided Design of Verified Hardware. DAC 1991: 391-396 |
| 2 | Gerd Venzl: Are Formal Methods in Design for Real? (Panel Abstract). DAC 1991: 474 | |
| 1 | Wolfgang Glunz, Gerd Venzl: Hardware Design Using CASE Tools. VLSI 1991: 237-246 | |
| 1 | Jörg Bormann | [4] [5] |
| 2 | Holger Busch | [3] |
| 3 | Wolfgang Glunz | [1] |
| 4 | Jörg Lohse | [5] |
| 5 | H. Nusser-Wehlan | [4] |
| 6 | Michael Payer | [5] |