Вы здесь
Adaptive Model Checking
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.357-370
Библиография:
Bibliogr.: p.370
Издательство:
Источник:
Том:
2280
Карточка:
Б2.23.
Groce A., Peled D., Yannakakis M..
Adaptive Model Checking: Springer// Lecture Notes in Computer Science-2002.-Vol. 2280.-P.357-370
Bibliogr.: p.370
Таблица в старой библиотеке:
PAP24 922