![]() | ![]() |
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] |