Please use this identifier to cite or link to this item:
|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|
|Conference Name:||Australasian Computer Science Conference (27th : 2004 : Dunedin, New Zealand)|
|School/Discipline:||School of Computer Science|
|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.