| |
| 2008 | ||
|---|---|---|
| 2 | EE | Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams: The HiVe Writer. Electr. Notes Theor. Comput. Sci. 217: 221-234 (2008) |
| 2004 | ||
| 1 | EE | Kylie Williams, Robert Esser: Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking. ACSC 2004: 65-71 |
| 1 | Tony Cant | [2] |
| 2 | Robert Esser | [1] |
| 3 | Ben Long | [2] |
| 4 | Brendan P. Mahony | [2] |
| 5 | Jim McCarthy | [2] |