Russian
English
Home
Authors
Papers
Year of conference
Themes
Organizations
To MES conference
Burenkov V.S.
Listing of all the works of the author. Click on the work title to get the full information.
2016
Kamkin A.S., Burenkov V.S.
A Method for Scalable Verification of PROMELA Models of Cache Coherence Protocols
Copyright © 2009-2024 IPPM RAS. All Rights Reserved.
Design of site: IPPM RAS