Abhik Roychoudhury I. V. Ramakrishnan Automated Inductive Verification of Parameterized Protocols. 25-37 2001 conf/cav/2001 CAV http://link.springer.de/link/service/series/0558/bibs/2102/21020025.htm db/conf/cav/cav2001.html#RoychoudhuryR01