Вы здесь

On the Decidability of Non-Interleaving Process Equivalences

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

Б2.15, Б2.42.

Kiehn A., Hennessy M..

On the Decidability of Non-Interleaving Process Equivalences: Springer// Lecture Notes in Computer Science-1994.-Vol. 836.-P.18-33.
Bibliogr.: p.32-33.

Таблица в старой библиотеке: 
PAP9 285