Verification of the TESLA protocol in MCMAS-X

Alessio Lomuscio, Franco Raimondi, Bozena Wozna. Verification of the TESLA protocol in MCMAS-X. Fundamenta Informaticae, 79(3-4):473-486, 2007. [doi]

Abstract

Abstract is missing.