Normal view
MARC view
Model checking knowledge and fixpoints N. V. Shilov, N. Garanina
Material type: ArticleSubject(s): новые информационные технологии | компьютерная безопасность | логика | доказательства | контрольные точки | синхронные среды | асинхронные среды In: Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности" Томск, ТГУ, 10-13 сентября 2002 г. С. 20-23No physical items for this record
Библиогр.: 10 назв.
There are no comments on this title.