The Verification of Cache Coherence Protocols (1992)
by
Fong Pong
,
Michel Dubois
| Venue: | Proc. of the 5th Annual Symp. on Parallel Algorithm and Architecture |
| Citations: | 16 - 6 self |







