Model checking a cache coherence protocol of a Java DSM implementation
scientific article; zbMATH DE number 5123665
scientific article