Вы здесь
An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Ключевые слова:
Стр.:
P.47-55.
Библиография:
Bibliogr.: p.55.
Издательство:
Источник:
Том:
813
Карточка:
Б2.13, Б2.14.
Berezin S. A., Shilov N. V..
An Approach to Effective Model-Checking of Real-Time Finite-State Machines in Mu-Calculus: Springer// Lecture Notes in Computer Science-1994.-Vol. 813.-P.47-55.
Bibliogr.: p.55.
Таблица в старой библиотеке:
ISI1 868