index
И. Бурдонов, А. Косачев.
Тестирование системы автоматов с буферизацией сообщений.
Труды Института системного программирования РАН, том 28-1, 2016 г., ISSN 2079-8156, с. 103-130.
38 стр.
doc, pdf