One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
 |
 |
acm = {1883614},
Address = {New York, NY, USA},
Author = {Viana, Aline Carneiro and Maag, Stephane and Zaidi, Fatiha},
Doi = {10.1145/1883612.1883614},
Issn = {0360-0300},
Journal = {ACM Computing Surveys},
Keywords = {Protocol validation, wireless self-organizing networks},
Month = jan,
Number = 2,
Pages = {7:1--7:36},
Publisher = {ACM},
Title = {One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches},
Url = {http://dl.acm.org/citation.cfm?doid=1883612.1883614},
Volume = 43,
Year = 2011}