Вы здесь

Context-Dependent Bisimulation Between Processes

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1987
Стр.: 
265 p.
Библиография: 
Bibliogr.: p.257-265.
Место издания: 
Номер: 
87-5
Карточка: 

Б2.42.

Larsen K. G..

Context-Dependent Bisimulation Between Processes-Aalborg., 1987.-265 p.-(Препринт Aalborg Univ. №87-5).
Bibliogr.: p.257-265.

Таблица в старой библиотеке: 
PREP1 728