Вы здесь

An Interval-Based Modal Logic for System Specification

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.281-292.
Библиография: 
Bibliogr.: p.292.
Том: 
620
Карточка: 

Б2.13.

Li R., Carmo J..

An Interval-Based Modal Logic for System Specification// Lecture Notes in Computer Science-1992.-Vol. 620.-P.281-292.
Bibliogr.: p.292.

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