Kai Baukus Yassine Lakhnech Karsten Stahl Verification of Parameterized Protocols. 141-158 2001 7 J. UCS 2 http://www.jucs.org/jucs_7_2/verification_of_parameterized_protocols db/journals/jucs/jucs7.html#BaukusLS01