Вы здесь
Verifying Temporal Properties Using Explicit Approximations: Completeness for Context-free Processes
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.372-386
Библиография:
Bibliogr.: p.386
Издательство:
Источник:
Том:
2303
Карточка:
Б2.1, Б2.23, Б2.42.
Schopp U., Simpson A..
Verifying Temporal Properties Using Explicit Approximations: Completeness for Context-free Processes: Springer// Lecture Notes in Computer Science-2002.-Vol. 2303.-P.372-386
Bibliogr.: p.386
Таблица в старой библиотеке:
PAP24 825