Verification of the Futurebus+ cache coherence protocol: A case study in model checking
Date
2004
Authors
Williams, K. E.
Esser, Robert Peter
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Statement of Responsibility
Conference Name
Australasian Computer Science Conference (27th : 2004 : Dunedin, New Zealand)
Abstract
School/Discipline
School of Computer Science