Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by В.С. Буренков
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