"Experiments in Theorem Proving and Model Checking for Protocol Verification."

Klaus Havelund, Natarajan Shankar (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics