Will Archer, Philip Levis, John Regehr. Interface contracts for TinyOS. In Tarek F. Abdelzaher, Leonidas J. Guibas, Matt Welsh, editors, Proceedings of the 6th International Conference on Information Processing in Sensor Networks, IPSN 2007, Cambridge, Massachusetts, USA, April 25-27, 2007. pages 158-165, ACM, 2007. [doi]
@inproceedings{ArcherLR07,
title = {Interface contracts for TinyOS},
author = {Will Archer and Philip Levis and John Regehr},
year = {2007},
doi = {10.1145/1236360.1236382},
url = {http://doi.acm.org/10.1145/1236360.1236382},
tags = {contracts},
researchr = {https://researchr.org/publication/ArcherLR07},
cites = {0},
citedby = {0},
pages = {158-165},
booktitle = {Proceedings of the 6th International Conference on Information Processing in Sensor Networks, IPSN 2007, Cambridge, Massachusetts, USA, April 25-27, 2007},
editor = {Tarek F. Abdelzaher and Leonidas J. Guibas and Matt Welsh},
publisher = {ACM},
}