%I IEEE Computer Society
%B LICS
%L eprints378
%D 1990
%A Rocco De Nicola
%A Frits W. Vaandrager
%T Three Logics for Branching Bisimulation (Extended Abstract)
%P 118-129