@inproceedings{conf/percom/RanganathanC08,
	title = {Provably Correct Pervasive Computing Environments.},
	author = {Anand Ranganathan and Roy H. Campbell},
	booktitle = {PerCom},
	crossref = {conf/percom/2008},
	pages = {160-169},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/percom/percom2008.html#RanganathanC08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2bc1b02f7330b2c1be0488b002a4ac1d3/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/PERCOM.2008.116}, date = {2008-05-13},
	keywords = {dblp }
}