Вы здесь
From ATP to Timed Graphs and Hybrid Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1992
Ключевые слова:
Стр.:
P.549-572.
Библиография:
Bibliogr.: p.571-572.
Источник:
Том:
600
Карточка:
Б2.15.
Nicollin X., Sifakis J., Yovine S..
From ATP to Timed Graphs and Hybrid Systems// Lecture Notes in Computer Science-1992.-Vol. 600.-P.549-572.
Bibliogr.: p.571-572.
Таблица в старой библиотеке:
PAP3 991