Вы здесь

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