Method of Constructing Abstract Models for Protocol Verification of Cache Coherence in Scalable Systems
Herald of the Bauman Moscow State Technical University. Series Instrument Engineering
doi 10.18698/0236-3933-2017-1-49-66
Full Text
Open PDFAbstract
Available in full text
Date
February 1, 2017
Authors
Publisher
Bauman Moscow State Technical University