One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches

@article{viana-acmsurvey43,
   acm = {1883614},
   address = {New York, NY, USA},
   apice = {VianaAcmsurvey43},
   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 = {1883614},
   volume = 43,
   year = 2011
}