Вы здесь

Modular Model Checking

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.381-401
Библиография: 
Bibliogr.: p.399-401
Место издания: 
Том: 
1536
Карточка: 

Б2.13.

Kupferman O., Vardi M. Y..

Modular Model Checking-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1998.-Vol. 1536.-P.381-401-(Lecture Notes in Computer Science).
Bibliogr.: p.399-401

Таблица в старой библиотеке: 
PAP19 94