| |
| 1995 | ||
|---|---|---|
| 3 | Gert Döhmen, Ronald Herrmann, Hergen Pargmann: Translating VHDL into Functional Symbolic Finite-State Models. Formal Methods in System Design 7(1/2): 125-148 (1995) | |
| 1994 | ||
| 2 | Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann: Model Checking Using Adaptive State and Data Abstraction. CAV 1994: 455-467 | |
| 1 | EE | Ronald Herrmann, Hergen Pargmann: Computing binary decision diagrams for VHDL data types. EURO-DAC 1994: 578-583 |
| 1 | Dennis Dams | [2] |
| 2 | Gert Döhmen | [2] [3] |
| 3 | Rob Gerth | [2] |
| 4 | Ronald Herrmann | [1] [2] [3] |
| 5 | Peter Kelb | [2] |