Вы здесь

Branching Bisimulation for Context-Free Processes

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

Б2.15.

Caucal D..

Branching Bisimulation for Context-Free Processes// Lecture Notes in Computer Science-1992.-Vol. 652.-P.316-327.
Bibliogr.: p.326-327.

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