A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems

Збережено в:
Бібліографічні деталі
Дата:2015
Автори: A. V. Kolchin, A. A. Letichevskij, S. V. Potienko
Формат: Стаття
Мова:English
Опубліковано: 2015
Назва видання:Artificial intelligence
Онлайн доступ:http://jnas.nbuv.gov.ua/article/UJRN-0000483830
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Library portal of National Academy of Sciences of Ukraine | LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS