Automata for the modal mu-calculus and related results

Вы здесь

Автор:

Janin D.

Walukiewicz I.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1995

Стр.:

P.552-562

Библиография:

Bibliogr.: p.562

Место издания:

Berlin

Heidelberg

Серия:

Lecture Notes in Computer Science

Источник:

Mathematical Foundations of Computer Science 1995

Том:

969

Карточка:

Б2.13, А2.2.

Janin D., Walukiewicz I..

Automata for the modal mu-calculus and related results-Berlin, Heidelberg.// Mathematical Foundations of Computer Science 1995, 1995.-Vol. 969.-P.552-562-(Lecture Notes in Computer Science).
Bibliogr.: p.562

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

PAP13 395