Публикация №8871

Название публикацииМЕТОД ПОНИЖЕНИЯ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ В ЗАДАЧАХ ВЕРИФИКАЦИИ ВЕРОЯТНОСТНЫХ МОДЕЛЕЙ ПРОГРАММ
Название на другом языке
Тип публикацииДоклад
ИзданиеИнструменты и методы анализа программ (TMPA-2014): Материалы международной научно-практической конференции
ИздательКострома: КГТУ
ISBN975-5-8285-0719-1
DOIНе задан
Год издания2014
ТомНе задан
НомерНе задан
ГлаваНе задан
Страницы133–144
АннотацияНе задан
АвторыМиронов Андрей Михайлович
Френкель Сергей Лазаревич
ссылка в Internethttp://tmpaconf.org/thesesru/theses2014ru
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН