Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://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 |
| 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.