%0 Journal Article %1 Man_2010 %A Man, Th. Vallee K.L. %A Leung, H.L. %D 2010 %K VST4WSN formal real_time reliability tinyOS wsn %T TEPAWSN: A Formal Analysis Tool for Wireless Sensor Networks

@article{Man_2010, added-at = {2010-04-22T11:44:21.000+0200}, author = {Man, Th. Vallee K.L. and Leung, H.L.}, biburl = {https://www.bibsonomy.org/bibtex/26d0895dfcfa2286b7497277b3ff8df4a/davef}, interhash = {a895ba82ea5421c1d6218cb8f8841b8a}, intrahash = {6d0895dfcfa2286b7497277b3ff8df4a}, keydf = {VST4WSN9}, keywords = {VST4WSN formal real_time reliability tinyOS wsn}, priority = {4}, timestamp = {2010-04-22T11:44:22.000+0200}, title = {TEPAWSN: A Formal Analysis Tool for Wireless Sensor Networks}, year = 2010 }