Вы здесь

Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems

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

Б2.42.

Сhristensen S..

Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems: Springer// Lecture Notes in Computer Science-1992.-Vol. 630.-P.148-161.
Bibliogr.: p.161.

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