Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Verifying parameterized protocols by transforming stratified logic programs. In: Italian Annual Meeting on Computational Logic (CILC'05), 21-22 June 2005, Consiglio Nazionale delle Ricerche, Roma, Italy pp. 1-16. (Submitted) (2005)