Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Transformational Verification of Parameterized Protocols Using Array Formulas. In Patricia M. Hill, editor, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers. Volume 3901 of Lecture Notes in Computer Science, pages 23-43, Springer, 2005. [doi]
Abstract is missing.