1. Adelaide Research & Scholarship
  2. Schools and Disciplines
  3. School of Computer Science
  4. Computer Science publications
Please use this identifier to cite or link to this item: https://hdl.handle.net/2440/29531
Full metadata record
DC FieldValueLanguage
dc.contributor.authorWilliams, K. E.en
dc.contributor.authorEsser, Robert Peteren
dc.date.issued2004en
dc.identifier.isbn1920682058en
dc.identifier.urihttp://hdl.handle.net/2440/29531-
dc.language.isoenen
dc.publisherAustralian Computer Society Incen
dc.relation.ispartofProceedings of the 27th Australasian Computer Science Conference 2004en
dc.titleVerification of the Futurebus+ cache coherence protocol: A case study in model checkingen
dc.typeConference paperen
dc.contributor.schoolSchool of Computer Scienceen
dc.contributor.conferenceAustralasian Computer Science Conference (27th : 2004 : Dunedin, New Zealand)en
Appears in Collections:Computer Science publications

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


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