Proof-Checking Protocols using Bisimulations (1999)

Cached

Download Links

by Christine Röckl , Javier Esparza
Venue:IN PROC. CONCUR’99, LNCS 1664
Citations:11 - 2 self