Skip to content

Up-to Techniques for Weak Bisimulation.

Damien Pous

VenueA*ICALP
Year2005
ProceedingsICALP

Browse the full ICALP paper archive.