eprintid: 378
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/78
datestamp: 2011-06-16 07:49:09
lastmod: 2011-07-11 14:36:27
status_changed: 2011-06-16 07:49:09
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Vaandrager, Frits W.
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Three Logics for Branching Bisimulation (Extended Abstract)
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
date: 1990
date_type: published
publisher: IEEE Computer Society
pagerange: 118-129
refereed: TRUE
book_title: LICS
citation:   De Nicola, Rocco and Vaandrager, Frits W.  Three Logics for Branching Bisimulation (Extended Abstract).   In:  LICS.   IEEE Computer Society, pp. 118-129.       (1990)