| |
| 1998 | ||
|---|---|---|
| 4 | EE | Ralf Reetz, Klaus Schneider, Thomas Kropf: Formal Specification in VHDL for Hardware Verification. DATE 1998: 257- |
| 1995 | ||
| 3 | Ralf Reetz: Deep Embedding VHDL. TPHOLs 1995: 277-292 | |
| 2 | Ralf Reetz, Thomas Kropf: A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. Formal Methods in System Design 7(1/2): 73-99 (1995) | |
| 1994 | ||
| 1 | Ralf Reetz, Thomas Kropf: Simplifying Deep Embedding: A Formalised Code Generator. TPHOLs 1994: 378-390 | |
| 1 | Thomas Kropf | [1] [2] [4] |
| 2 | Klaus Schneider | [4] |