Вы здесь
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