Skip to content

Axiomatizations for Probabilistic Bisimulation.

Emanuele Bandini, Roberto Segala

VenueA*ICALP
Year2001
ProceedingsICALP

Browse the full ICALP paper archive.