On the reachability problem in cryptographic protocols (0)

by R M Amadio, S Lugiez
Venue:In Proc. of Concur’00, LNCS 1877, Springer-Verlag, 2000. Full version: RR 3915, INRIA Sophia Antipolis