Cones and Foci for Protocol Verification Revisited.

Wan J. Fokkink, Jun Pang

Browse the full FOSSACS paper archive.