Niels Mellergaard

According to our database, Niels Mellergaard authored at least 4 papers between 1992 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Localized Verification of Modular Designs.

Jørgen Staunstrup, Niels Mellergaard

Formal Methods Syst. Des., 1995

1994

Tutorial on Design Verification with Synchronized Transitions.

Niels Mellergaard, Jørgen Staunstrup

Proceedings of the Theorem Provers in Circuit Design, 1994

The priority queue as an example of hardware/software codesign.

Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1992

Generating Proof Obligations for Circuits.

Niels Mellergaard, Jørgen Staunstrup

Proceedings of the First International Workshop on Larch, 1992