Partial Order Reductions for Security Protocol Verification (2000)

by Edmund Clarke , Somesh Jha , Will Marrero
Venue:In Proc. of the International Conference for the Construction and Analysis of Systems -- TACAS 2000
Citations:14 - 3 self