|
|
Ар04-12397
Козюра, В. Е.
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / В. Е. Козюра. - Новосибирск, 2004. - 18 с. - Библиогр.: с. 17-18(10 назв.)
В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т систем информатики им.А.П.Ершова
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
|
|