TY  - CHAP
T2  - LICS
Y1  - 1990///
A1  - De Nicola, Rocco
A1  - Vaandrager, Frits W.
UR  - http://eprints.imtlucca.it/378/
PB  - IEEE Computer Society
EP  - 129
ID  - eprints378
SP  - 118
TI  - Three Logics for Branching Bisimulation (Extended Abstract)
AV  - none
ER  -