Вы здесь

An Automata-Theoretic Approach to Branching-Time Model Checking

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.142-155.
Библиография: 
Bibliogr.: p.152-154.
Издательство: 
Том: 
818
Карточка: 

Б2.4, А2.2.

Bernholtz O., Vardi M. Y., Wolper P..

An Automata-Theoretic Approach to Branching-Time Model Checking: Springer// Lecture Notes in Computer Science-1994.-Vol. 818.-P.142-155.
Bibliogr.: p.152-154.

Таблица в старой библиотеке: 
PAP8 945