Вы здесь

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