Вы здесь

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).
Bibliogr.: p.35-37

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