Kylie Williams
Tony Cant
Ben Long
Jim McCarthy
Brendan P. Mahony
Kylie Williams
The HiVe Writer.
221-234
2008
conf/ssv/2008
SSV
https://doi.org/10.1016/j.entcs.2008.06.051
db/journals/entcs/entcs217.html#CantLMMW08
Kylie Williams
Robert Esser
Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking.
65-71
2004
conf/acsc/2004
ACSC
http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV26Williams.html
db/conf/acsc/acsc2004.html#WilliamsE04
Tony Cant
Robert Esser
Ben Long
Brendan P. Mahony
Jim McCarthy