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