Skip to content

Eager Normal Form Bisimulation.

Sren B. Lassen

VenueA*LICS
Year2005
ProceedingsLICS

Browse the full LICS paper archive.