"Formal modeling and analysis of a narrow bandwidth protocol for ..."

Hai Wan, Ming Gu, Xiaoyu Song (2009)

Details and statistics

DOI: 10.1016/J.MCM.2009.06.001

access: open

type: Journal Article

metadata version: 2021-02-17