Вы здесь
Алгоритм анализа свойств поведения временных сетей Петри с использованием темпоральной логики
Количество экземпляров:
1
Колл. автор:
Вид:
Статья из сборника или журнала
Год:
1992
Ключевые слова:
Место издания:
Карточка:
Вирбицкайте И. Б., Трепакова С. Б..
Алгоритм анализа свойств поведения временных сетей Петри с использованием темпоральной логики-Новосибирск.// Методы теоретического и экспериментального программирования, 1992.
Таблица в старой библиотеке:
ISI1 763