"Automated Inductive Verification of Parameterized Protocols."

Abhik Roychoudhury, I. V. Ramakrishnan (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics