Alessio Lomuscio, Franco Raimondi, Bozena Wozna. Verification of the TESLA protocol in MCMAS-X. Fundamenta Informaticae, 79(3-4):473-486, 2007. [doi]
@article{LomuscioRW07,
title = {Verification of the TESLA protocol in MCMAS-X},
author = {Alessio Lomuscio and Franco Raimondi and Bozena Wozna},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=79&issue=3&spage=473},
tags = {protocol},
researchr = {https://researchr.org/publication/LomuscioRW07},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {79},
number = {3-4},
pages = {473-486},
}