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]
@inproceedings{PettorossiPS05:0,
title = {Transformational Verification of Parameterized Protocols Using Array Formulas},
author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni},
year = {2005},
doi = {10.1007/11680093_3},
url = {http://dx.doi.org/10.1007/11680093_3},
tags = {protocol, transformation},
researchr = {https://researchr.org/publication/PettorossiPS05%3A0},
cites = {0},
citedby = {0},
pages = {23-43},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers},
editor = {Patricia M. Hill},
volume = {3901},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-32654-5},
}