Вы здесь
Exponental Acceleration of Model Checking for Perfect Recall Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2012
Ключевые слова:
Стр.:
P.111-124
Библиография:
Bibliogr.: p.123-124
Место издания:
Издательство:
Том:
7162
Карточка:
Б2.23, Б2.1.
Garanina N. O..
Exponental Acceleration of Model Checking for Perfect Recall Systems-Berlin.: Springer, 2012.-Vol. 7162.-P.111-124-(Lecture Notes in Computer Science).
Bibliogr.: p.123-124
Таблица в старой библиотеке:
PAP31 770