| 2006 |
|---|
| 3 | EE | Thomas Ball,
Ella Bounimova,
Byron Cook,
Vladimir Levin,
Jakob Lichtenberg,
Con McGarvey,
Bohus Ondrusek,
Sriram K. Rajamani,
Abdullah Ustuner:
Thorough static analysis of device drivers.
EuroSys 2006: 73-85 |
| 1999 |
|---|
| 2 | | Jesper B. Møller,
Jakob Lichtenberg,
Henrik Reif Andersen,
Henrik Hulgaard:
Difference Decision Diagrams.
CSL 1999: 111-125 |
| 1 | EE | Jesper B. Møller,
Jakob Lichtenberg,
Henrik Reif Andersen,
Henrik Hulgaard:
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams.
Electr. Notes Theor. Comput. Sci. 23(2): (1999) |
