Электронный архив НГУ

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

Файлы в этом документе

Данный элемент включен в следующие коллекции