@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},
	biburl = {http://www.bibsonomy.org/bibtex/2c74dd3312ea8f99f189fccee91bfd81c/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/IPSN.2008.62}, date = {2008-05-07},
	keywords = {dblp }
}