Лукин, М. А. и Шалыто, А. А. (2013) Разработка и автоматическая верификация параллельных автоматных программ, Информационно-управляющие системы, (5), сс. 3–50. доступно на: https://i-us.ru/index.php/ius/article/view/13674 (просмотрено: 4декабрь2024).