Страница публикации

Разработка сервиса для проверки выполнимости динамических свойств типа достижимости в булевых сетях

Авторы: Горский С.А., Богданова В.Г.

Журнал: Материалы конф. «Ляпуновские чтения» (Иркутск, 3-5 декабря 2018 г.)

Том:

Номер:

Год: 2018

Отчётный год: 2018

Издательство: ИДСТУ СО РАН

Местоположение издательства: Иркутск

URL:

Проекты:

DOI:

Аннотация:

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Нет

Индексируется ВАК: Нет

Индексируется CORE: Нет

Публикация в печати: 0