Niels Mellergaard

	1995
4		Jørgen Staunstrup, Niels Mellergaard: Localized Verification of Modular Designs. Formal Methods in System Design 6(3): 295-320 (1995)
	1994
3		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

Coauthor Index

1	Flemming Høeg	[3]
2	Jørgen Staunstrup	[1] [2] [3] [4]