Шалыто АА, Царев ФН, Егоров КВ. Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением. ТС [Интернет]. 1дек.2010 [цитируется по 26апр.2024];4(15):123-35. Available from: http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1523