Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 59-60
Language
rus
726 Visitors580 Hits151 Downloads
Радиофизический факультет
К тестированию недетерминированных автоматов с таймаутами относительно неразделимости