Вы здесь

Automating Modular Verification

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Ключевые слова: 
Стр.: 
P.82-97.
Библиография: 
Bibliogr.: p.97
Том: 
1664
Карточка: 

Б2.23, Б2.442.

Alur R., De Alfaro L., Henzinger T. A., Mang F.Y. C..

Automating Modular Verification// Lecture Notes in Computer Science-1999.-Vol. 1664.-P.82-97.
Bibliogr.: p.97

Таблица в старой библиотеке: 
PAP20 4