Вы здесь

Computing Distinguishing Formulas for Branching Bisimulation

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

Б2.23, Б2.1, Б2.24.

Korver H. P..

Computing Distinguishing Formulas for Branching Bisimulation-Amsterdam., 1991.-20 p.-(Препринт Univ. Amsterdam №P9103).
Bibliogr.: p.13-14

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