%0 Book Section
%A De Nicola, Rocco
%A Vaandrager, Frits W.
%B LICS
%D 1990
%F eprints:378
%I IEEE Computer Society
%P 118-129
%T Three Logics for Branching Bisimulation (Extended Abstract)
%U http://eprints.imtlucca.it/378/