Experiments in Theorem Proving and Model Checking for Protocol Verification (1996)

Cached

Download Links

by Klaus Havelund , Natarajan Shankar
Citations:73 - 12 self