Вы здесь

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

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2015
Стр.: 
С.53-71
Библиография: 
Библиогр.: c.70-71
Номер: 
6
Карточка: 

Б3.54.

Камкин А. С..

Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем// Программирование-2015, №6.-С.53-71
Библиогр.: c.70-71

Таблица в старой библиотеке: 
PAP31 952