Kylie Williams

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams
The HiVe Writer. Electron. Notes Theor. Comput. Sci. 217 (2008)
Kylie Williams, Robert Esser
Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking. ACSC (2004)