Для цитирования:

Буренков В.С., Камкин А.С. Проверка параметризованных Promela-моделей протоколов когерентности памяти. Труды Института системного программирования РАН. 2016;28(4):57-76. https://doi.org/10.15514/ISPRAS-2016-28(4)-4

For citation:

Burenkov V.S., Kamkin A.S. Checking Parameterized Promela Models of Cache Coherence Protocols. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(4):57-76. https://doi.org/10.15514/ISPRAS-2016-28(4)-4