Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols (2004)

Cached

Download Links

by José Meseguer , Prasanna Thati
Venue:Journal of Higher-Order and Symbolic Computation
Citations:28 - 11 self