Model Checking Medium Access Control for Sensor Networks. (2006)

by P Ballarini, A Miller
Venue:In ISoLA ’06,