Вы здесь

Branching Time and Abstraction in Bisimulation Semantics

Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1989
Стр.: 
14 p.
Библиография: 
Bibliogr.: p.14
Место издания: 
Номер: 
CS-8911
Карточка: 

Б2.24, Б2.15.

Van Glabbeek R. J., Weijland W. P..

Branching Time and Abstraction in Bisimulation Semantics-Amsterdam., 1989.-14 p.-(Препринт CWI №CS-8911).
Bibliogr.: p.14

Таблица в старой библиотеке: 
PREP3 74