| Номер документа в системі: | 105647 |
| Автор: | Козюра В.Е. |
| Назва документа: | Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем [Электронный ресурс] |
| Видавництво: | РГБ |
| Місто видання: | М. |
| Рік видання: | 2003 |
| Мова документу | Російська |
| Кількість сторінок | 88 с. |