Logo eprints

Three Logics for Branching Bisimulation (Extended Abstract)

De Nicola, Rocco and Vaandrager, Frits W. Three Logics for Branching Bisimulation (Extended Abstract). In: LICS. IEEE Computer Society, pp. 118-129. (1990)

Full text not available from this repository.
Item Type: Book Section
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 16 Jun 2011 07:49
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/378

Actions (login required)

Edit Item Edit Item