Вы здесь

Extreme Model Checking

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Стр.: 
P.332-358
Библиография: 
Bibliogr.: p.354-358
Издательство: 
Том: 
2772
Карточка: 

Б2.23, Б2.13.

Henzinger T. A., Jhala R., Majumdar R., Sanvido M.A. A..

Extreme Model Checking: Springer// Lecture Notes in Computer Science-2003.-Vol. 2772.-P.332-358
Bibliogr.: p.354-358

Таблица в старой библиотеке: 
PAP28 320