𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modeling, specification and verification of ad-hoc sensor networks using SPIN

✍ Scribed by Vladimir A. Oleshchuk


Book ID
113557973
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
140 KB
Volume
28
Category
Article
ISSN
0920-5489

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Guest editorial vehicular ad hoc and sen
✍ Chao, Han-Chieh; Chen, Yuh-Shyan; Hamalainen, Seppo πŸ“‚ Article πŸ“… 2010 πŸ› The Institution of Engineering and Technology 🌐 English βš– 115 KB