Вы здесь
Infinite State Model-Checking of Propositional Dynamic Logics
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2006
Ключевые слова:
Стр.:
P.349-364
Библиография:
Bibliogr.: p.363-364
Место издания:
Издательство:
Источник:
Том:
4207
Карточка:
Б2.14, Б2.23.
Goeller S., Lohrey M..
Infinite State Model-Checking of Propositional Dynamic Logics-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2006.-Vol. 4207.-P.349-364-(Lecture Notes in Computer Science).
Bibliogr.: p.363-364
Таблица в старой библиотеке:
PAP30 859