Please use this identifier to cite or link to this item: http://hdl.handle.net/2440/29531
Type: Conference paper
Title: Verification of the Futurebus+ cache coherence protocol: A case study in model checking
Author: Williams, K. E.
Esser, Robert Peter
Part of: Proceedings of the 27th Australasian Computer Science Conference 2004
Publisher: Australian Computer Society Inc
Issue Date: 2004
ISBN: 1920682058
Conference Name: Australasian Computer Science Conference (27th : 2004 : Dunedin, New Zealand)
School/Discipline: School of Computer Science
RMID: 0020041874
Appears in Collections:Computer Science publications

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.