@proceedings {65432,
	title = {Statistical Model Checking of CSMA/CA in WSNs.},
	journal = {VECoS},
	year = {2016},
	month = {2016},
	pages = {27-42},
	author = {Hmidi, Zohra and Kahloul, La{\"\i}d and BENHARZALLAH, Saber and Othmane, Cherifa}
}
