Вы здесь
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