Вы здесь
Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
С.118-119
Карточка:
Б2.42.
Козюра В. Е., Новиков Р. М..
Использование метода проверки моделей для верификации коммуникационных протоколов, представленных раскрашенными сетями Петри// Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II-2000.-С.118-119
Таблица в старой библиотеке:
ISI2 328