Model Checking Medium Access Control for Sensor Networks.

Paolo Ballarini, Alice Miller

Browse the full ISoLA paper archive.