Model checking a cache coherence protocol for a Java DSM implementation (2003)

by Jun Pang , Wan Fokkink , Rutger Hofman , Ronald Veldema
Venue:In Proceedings FMPPTA’03
Citations:17 - 3 self