Вы здесь

Verifying -Regular Properties for a Subclass of Linear Hybrid Systems

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

А3.45, Б2.23.

Bouajjani A., Robbana R..

Verifying -Regular Properties for a Subclass of Linear Hybrid Systems// Lecture Notes in Computer Science-1995.-Vol. 939.-P.437-450.
Bibliogr.: p.450.

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