@inproceedings{conf/ipsn/KothariMG08,
title = {Deriving State Machines from TinyOS Programs Using Symbolic Execution.},
author = {Nupur Kothari and Todd D. Millstein and Ramesh Govindan},
booktitle = {IPSN},
crossref = {conf/ipsn/2008},
pages = {271-282},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/ipsn/ipsn2008.html#KothariMG08},
year = {2008},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/IPSN.2008.62}, date = {2008-05-07},
keywords = {dblp }
}
::