Cones and Foci for Protocol Verification Revisited (2003)

by Wan Fokkink , Jun Pang
Venue:In Proc. 6th Conference on Foundations of Software Science and Computation Structures, LNCS 2620
Citations:9 - 4 self