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