Вы здесь
Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2015
Стр.:
С.53-71
Библиография:
Библиогр.: c.70-71
Источник:
Номер:
6
Карточка:
Б3.54.
Камкин А. С..
Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем// Программирование-2015, №6.-С.53-71
Библиогр.: c.70-71
Таблица в старой библиотеке:
PAP31 952