Вы здесь

Verification of Real-Time Systems by Successive Over and Under Approximation

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.409-422.
Библиография: 
Bibliogr.: p.421-422.
Том: 
939
Карточка: 

А3.45, А2.2.

Dill D. L., Wong-Toi H..

Verification of Real-Time Systems by Successive Over and Under Approximation// Lecture Notes in Computer Science-1995.-Vol. 939.-P.409-422.
Bibliogr.: p.421-422.

Таблица в старой библиотеке: 
PAP12 427