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

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

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

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

Том:

Номер:

Год: 2018

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

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

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

URL:

Аннотация:

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

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

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

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

Добавил в систему: