Вы здесь
On Compositional Model Checking in the Modal Mu-calculus and Its Extension with Multiple Clocks
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Стр.:
P.19-37.
Выпуск:
3
Библиография:
Bibliogr.: p.35-37
Место издания:
Серия:
Карточка:
Б2.15, Б2.42.
Berezin S. A..
On Compositional Model Checking in the Modal Mu-calculus and Its Extension with Multiple Clocks-Novosibirsk.// Bulletin of the Novosibirsk Computing Center, 1995.-P.19-37.-(Computer Science, Вып.3).
Bibliogr.: p.35-37
Таблица в старой библиотеке:
PAP16 254