%0 Conference Paper %1 conf/mompes/OceanKB09 %A Ocean, Michael J. %A Kfoury, Assaf J. %A Bestavros, Azer %B MOMPES %D 2009 %I IEEE Computer Society %K dblp %P 31-41 %T A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. %U http://dblp.uni-trier.de/db/conf/mompes/mompes2009.html#OceanKB09 %@ 978-1-4244-3721-4

@inproceedings{conf/mompes/OceanKB09, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ocean, Michael J. and Kfoury, Assaf J. and Bestavros, Azer}, biburl = {https://www.bibsonomy.org/bibtex/29642d09b33f27b41d7155e8617e0150b/dblp}, booktitle = {MOMPES}, crossref = {conf/mompes/2009}, ee = {https://www.wikidata.org/entity/Q61693661}, interhash = {f176b5f30d28ac6dbe337bebd632453f}, intrahash = {9642d09b33f27b41d7155e8617e0150b}, isbn = {978-1-4244-3721-4}, keywords = {dblp}, pages = {31-41}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T19:21:01.000+0200}, title = {A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems.}, url = {http://dblp.uni-trier.de/db/conf/mompes/mompes2009.html#OceanKB09}, year = 2009 }