Sciweavers

FUIN
2007

Verification of the TESLA protocol in MCMAS-X

13 years 11 months ago
Verification of the TESLA protocol in MCMAS-X
Alessio Lomuscio, Franco Raimondi, Bozena Wozna
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where FUIN
Authors Alessio Lomuscio, Franco Raimondi, Bozena Wozna
Comments (0)