| |
| 1995 | ||
|---|---|---|
| 4 | Jørgen Staunstrup, Niels Mellergaard: Localized Verification of Modular Designs. Formal Methods in System Design 6(3): 295-320 (1995) | |
| 1994 | ||
| 3 | EE | Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup: The priority queue as an example of hardware/software codesign. CODES 1994: 81-88 |
| 2 | Niels Mellergaard, Jørgen Staunstrup: Tutorial on Design Verification with Synchronized Transitions. TPCD 1994: 239-257 | |
| 1992 | ||
| 1 | Niels Mellergaard, Jørgen Staunstrup: Generating Proof Obligations for Circuits. Larch 1992: 185-200 | |
| 1 | Flemming Høeg | [3] |
| 2 | Jørgen Staunstrup | [1] [2] [3] [4] |