Real-Time Logic Verification of a Wireless Sensor Network

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]

Authors

J. Green

This author has not been identified. Look up 'J. Green' in Google

S. Bhattacharyya

This author has not been identified. Look up 'S. Bhattacharyya' in Google

Biswajit Panja

This author has not been identified. Look up 'Biswajit Panja' in Google