Issues of parameterized verification of cache coherence protocols
Published: 18.11.2013
Authors: Burenkov V.S., Ivanov S.R.
Published in issue: #11(23)/2013
DOI: 10.18698/2308-6033-2013-11-1013
Category: Information technology