|
Search the dblp DataBase
Niels Mellergaard:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup
The priority queue as an example of hardware/software codesign. [Citation Graph (0, 0)][DBLP] CODES, 1994, pp:81-88 [Conf]
- Niels Mellergaard, Jørgen Staunstrup
Generating Proof Obligations for Circuits. [Citation Graph (0, 0)][DBLP] Larch, 1992, pp:185-200 [Conf]
- Niels Mellergaard, Jørgen Staunstrup
Tutorial on Design Verification with Synchronized Transitions. [Citation Graph (0, 0)][DBLP] TPCD, 1994, pp:239-257 [Conf]
- Jørgen Staunstrup, Niels Mellergaard
Localized Verification of Modular Designs. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:3, pp:295-320 [Journal]
Search in 0.001secs, Finished in 0.001secs
|