Amanote Research
Register
Sign In
Model Checking Medium Access Control for Sensor Networks
doi 10.1109/isola.2006.16
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2006
Authors
Paolo Ballarini
Alice Miller
Publisher
IEEE