Вельдер СЭ, Шалыто АА. О верификации простых автоматных программ на основе метода Model Checking. ИУС [Интернет]. 20июн.2007 [цитируется по 5июл.2024];(3):27-8. Available from: http://ia.spcras.ru/index.php/ius/article/view/14670