%0 Conference Paper %1 conf/dsn/TanWWBZS13 %A Tan, Feng %A Wang, Yufei %A Wang, Qixin %A Bu, Lei %A Zheng, Rong %A Suri, Neeraj %B DSN %D 2013 %I IEEE Computer Society %K dblp %P 1-12 %T Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2013.html#TanWWBZS13 %@ 978-1-4673-6471-3

@inproceedings{conf/dsn/TanWWBZS13, added-at = {2019-06-02T00:00:00.000+0200}, author = {Tan, Feng and Wang, Yufei and Wang, Qixin and Bu, Lei and Zheng, Rong and Suri, Neeraj}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a4ecf052b43b978b35cdddaf4ad9143b/dblp}, booktitle = {DSN}, crossref = {conf/dsn/2013}, ee = {https://www.wikidata.org/entity/Q59203016}, interhash = {676d9a8a574fea27730970736e131e8c}, intrahash = {a4ecf052b43b978b35cdddaf4ad9143b}, isbn = {978-1-4673-6471-3}, keywords = {dblp}, pages = {1-12}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T20:00:51.000+0200}, title = {Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2013.html#TanWWBZS13}, year = 2013 }