%0 Journal Article %1 journals/jcs/RocchettoVV17 %A Rocchetto, Marco %A Viganò, Luca %A Volpe, Marco %D 2017 %J Journal of Computer Security %K %N 6 %P 463-510 %T An interpolation-based method for the verification of security protocols. %U http://dblp.uni-trier.de/db/journals/jcs/jcs25.html#RocchettoVV17 %V 25

@article{journals/jcs/RocchettoVV17, added-at = {2023-12-13T09:16:38.000+0100}, author = {Rocchetto, Marco and Viganò, Luca and Volpe, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2adf3e8c32e8d97d2248345f171a3be66/admin}, ee = {https://doi.org/10.3233/JCS-16832}, interhash = {cc67e29ad5835e5a58aa8d32d1a4ab82}, intrahash = {adf3e8c32e8d97d2248345f171a3be66}, journal = {Journal of Computer Security}, keywords = {}, number = 6, pages = {463-510}, timestamp = {2023-12-13T09:16:38.000+0100}, title = {An interpolation-based method for the verification of security protocols.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs25.html#RocchettoVV17}, volume = 25, year = 2017 }