TY  - BOOK
AU  - Машуков, М. Ю.
AU  - Чурина, Т. Г.
TI  - Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри
T2  - Препринт
VL  - 144
PY  - 2007///
CY  - Новосибирск
PB  - Институт систем информатики СО РАН
KW  - SDL, язык программирования
KW  - nlr_sh2
KW  - RU\NLR\auth\66128130
KW  - Петри сети
KW  - RU\NLR\auth\661262606
KW  - З973.202-018.1
N2  - Библиогр.: с. 69-70 (21 назв.)
ER  -