Partial order reductions for security protocol verification (2000)

by S Clarke, E Jha, W Marrero
Venue:In Proceedings of TACAS’00, LNCS 1785