Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем.


Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем.

Авторы

А.С. Камкин.

Издание

Программирование, том 41, №6, 2015.

Научная группа

Технологии программирования

Все публикации за 2015 год Все публикации