Вы здесь

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Стр.: 
P.155-169
Библиография: 
Bibliogr.: p.168-169
Место издания: 
Издательство: 
Том: 
3395
Карточка: 

Б2.11, Б2.23, Б3.54.

Xie G., Dang Zh..

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3395.-P.155-169-(Lecture Notes in Computer Science).
Bibliogr.: p.168-169

Таблица в старой библиотеке: 
PAP29 937