Login / Signup

Proof-Checking Protocols Using Bisimulations.

Christine RöcklJavier Esparza
Published in: CONCUR (1999)
Keyphrases