Вы здесь
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.353-366.
Библиография:
Bibliogr.: p.366.
Источник:
Том:
939
Карточка:
Б2.1, Б2.42.
Esparza J., Kiehn A..
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes// Lecture Notes in Computer Science-1995.-Vol. 939.-P.353-366.
Bibliogr.: p.366.
Таблица в старой библиотеке:
PAP12 423