Вы здесь
Анализ достижимости для временных сетей Петри без перекрытий интервалов срабатывания
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
С.65-94.
Библиография:
Библиогр.: c.93-94.
Место издания:
Карточка:
Б2.22, Б2.42, Б2.23.
Окунишникова Е. В..
Анализ достижимости для временных сетей Петри без перекрытий интервалов срабатывания-Новосибирск.// Проблемы спецификации и верификации параллельных систем. Сборник научных трудов, 1995.-С.65-94.
Библиогр.: c.93-94.
Таблица в старой библиотеке:
ISI2 39