Вы здесь

Symbolic Model Checking for Distributed Real-Time Systems

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.632-651.
Библиография: 
Bibliogr.: p.650-651
Издательство: 
Том: 
670
Карточка: 

Б2.2, Б2.42, Б3.33.

Wang F., Mok A., Emerson E. A..

Symbolic Model Checking for Distributed Real-Time Systems: Springer// Lecture Notes in Computer Science-1993.-Vol. 670.-P.632-651.
Bibliogr.: p.650-651

Таблица в старой библиотеке: 
PAP5 822