Вернуться к Подробностям о статье
Верификация алгоритма забияки для распределенных систем средствами TLA+ и PlusCal
Скачать
Скачать PDF