Statistical Model Checking of CSMA/CA in WSNs.

Zohra Hmidi, Laid Kahloul, Saber Benharzallah, Cherifa Othmane

Browse the full VECoS paper archive.