Cache consistency by design

E. Brinksma

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProtocol Specification, Testing and Verification XIV (Proceedings Fourteenth IFIP WG6.1 International Symposium, Vancouver, BC, Canada, 1994)
    EditorsS.T. Vuong, S.T. Chanson
    PublisherChapman & Hall
    Pages53-67
    ISBN (Print)0-412-63640-9
    Publication statusPublished - 1995

    Publication series

    NameIFIP Conference Proceedings
    Volume1
    ISSN (Print)1571-5736

    Cite this