DMCA

Automatically Proving Up-to Bisimulation (1998)

Cached

Download Links

by Daniel Hirschkoff , Daniel Hirschkoff , Cermics Enpc/inria