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

English