Вы здесь

Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
С.118-119
Карточка: 

Б2.42.

Козюра В. Е., Новиков Р. М..

Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри// Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II-2000.-С.118-119

Таблица в старой библиотеке: 
ISI2 328