| |
| 1997 | ||
|---|---|---|
| 3 | Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti: Partial Model Checking with ROBDDs. TACAS 1997: 35-49 | |
| 2 | Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti: A Comparison of Modular Verification Techniques. TAPSOFT 1997: 550-564 | |
| 1994 | ||
| 1 | Niels Maretti: Mechanized Verification of Refinement. TPCD 1994: 185-202 | |
| 1 | Henrik Reif Andersen | [2] [3] |
| 2 | Jørgen Staunstrup | [2] [3] |