J. Green, S. Bhattacharyya, Biswajit Panja. Real-Time Logic Verification of a Wireless Sensor Network. In Mark Burgin, Masud H. Chowdhury, Chan H. Ham, Simone A. Ludwig, Weilian Su, Sumanth Yenduri, editors, CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes. pages 269-273, IEEE Computer Society, 2009. [doi]
@inproceedings{GreenBP09,
title = {Real-Time Logic Verification of a Wireless Sensor Network},
author = {J. Green and S. Bhattacharyya and Biswajit Panja},
year = {2009},
doi = {10.1109/CSIE.2009.944},
url = {http://doi.ieeecomputersociety.org/10.1109/CSIE.2009.944},
tags = {wireless sensor networks, logic},
researchr = {https://researchr.org/publication/GreenBP09},
cites = {0},
citedby = {0},
pages = {269-273},
booktitle = {CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes},
editor = {Mark Burgin and Masud H. Chowdhury and Chan H. Ham and Simone A. Ludwig and Weilian Su and Sumanth Yenduri},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3507-4},
}