Verification techniques for cache coherence protocols release_neylws7pgfe2jlwxuezr5unigm

by Fong Pong, Michel Dubois

Published in ACM Computing Surveys by Association for Computing Machinery (ACM).

1997   Volume 29, p82-126

Archived Files and Locations

application/pdf  1.3 MB
file_3aa32tsgavf2zmuijh7da3575e
web.archive.org (webarchive)
www.di.unipi.it (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.di.unipi.it (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   1997-03-01
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0360-0300
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: a9e7b8b8-d7f3-48a0-9859-37926f5e954b
API URL: JSON