Niels Mellergaard

Publication Activity (10 Years)

Years Active: 1992-1995
Publications (10 Years): 0

Publications

Jørgen Staunstrup, Niels Mellergaard
Localized Verification of Modular Designs. Formal Methods Syst. Des. 6 (3) (1995)
Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup
The priority queue as an example of hardware/software codesign. CODES (1994)
Niels Mellergaard, Jørgen Staunstrup
Tutorial on Design Verification with Synchronized Transitions. TPCD (1994)
Niels Mellergaard, Jørgen Staunstrup
Generating Proof Obligations for Circuits. Larch (1992)