%0 Conference Paper %1 conf/hicons/SkowyraLBK13 %A Skowyra, Richard William %A Lapets, Andrei %A Bestavros, Azer %A Kfoury, Assaf J. %B HiCoNS %D 2013 %E Bushnell, Linda %E Rohrbough, Larry %E Amin, Saurabh %E Koutsoukos, Xenofon D. %I ACM %K dblp %P 101-110 %T Verifiably-safe software-defined networks for CPS. %U http://dblp.uni-trier.de/db/conf/hicons/hicons2013.html#SkowyraLBK13 %@ 978-1-4503-1961-4

@inproceedings{conf/hicons/SkowyraLBK13, added-at = {2019-06-02T00:00:00.000+0200}, author = {Skowyra, Richard William and Lapets, Andrei and Bestavros, Azer and Kfoury, Assaf J.}, biburl = {https://www.bibsonomy.org/bibtex/2d4c6d33ec1c7a03026b559e67dd39f9e/dblp}, booktitle = {HiCoNS}, crossref = {conf/hicons/2013}, editor = {Bushnell, Linda and Rohrbough, Larry and Amin, Saurabh and Koutsoukos, Xenofon D.}, ee = {https://www.wikidata.org/entity/Q61693617}, interhash = {0027a2c5f5883c030158a93c8632d8cb}, intrahash = {d4c6d33ec1c7a03026b559e67dd39f9e}, isbn = {978-1-4503-1961-4}, keywords = {dblp}, pages = {101-110}, publisher = {ACM}, timestamp = {2019-06-04T13:20:56.000+0200}, title = {Verifiably-safe software-defined networks for CPS.}, url = {http://dblp.uni-trier.de/db/conf/hicons/hicons2013.html#SkowyraLBK13}, year = 2013 }