id: 50206639
dt: j
an: 50206639
au: De Florio, Vincenzo; Blondia, Chris
ti: Design tool to express failure detection protocols
so: IET Software 4, No. 2, 119-133 (2010).
py: 2010
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1049/iet-sen.2009.0043