Kylie Williams

	2008
2		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		Kylie Williams, Robert Esser: Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking. ACSC 2004: 65-71

Coauthor Index

1	Tony Cant	[2]
2	Robert Esser	[1]
3	Ben Long	[2]
4	Brendan P. Mahony	[2]
5	Jim McCarthy	[2]

Colors in the list of coauthors