Niels Mellergaard
According to our database1,
Niels Mellergaard
authored at least 4 papers
between 1992 and 1995.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1995
1994
Proceedings of the Theorem Provers in Circuit Design, 1994
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994
1992
Generating Proof Obligations for Circuits.
Proceedings of the First International Workshop on Larch, 1992