%0 Conference Paper %1 conf/hicons/QinDTV13 %A Qin, Zhijing %A Denker, Grit %A Talcott, Carolyn L. %A Venkatasubramanian, Nalini %B HiCoNS %D 2013 %E Bushnell, Linda %E Rohrbough, Larry %E Amin, Saurabh %E Koutsoukos, Xenofon D. %I ACM %K dblp %P 85-92 %T Achieving resilience of heterogeneous networks through predictive, formal analysis. %U http://dblp.uni-trier.de/db/conf/hicons/hicons2013.html#QinDTV13 %@ 978-1-4503-1961-4

@inproceedings{conf/hicons/QinDTV13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Qin, Zhijing and Denker, Grit and Talcott, Carolyn L. and Venkatasubramanian, Nalini}, biburl = {https://www.bibsonomy.org/bibtex/2c1c5f318c87c6df1d0742e8431a22b32/dblp}, booktitle = {HiCoNS}, crossref = {conf/hicons/2013}, editor = {Bushnell, Linda and Rohrbough, Larry and Amin, Saurabh and Koutsoukos, Xenofon D.}, ee = {https://doi.org/10.1145/2461446.2461459}, interhash = {c2bf52bbd0d790de4f85166312474c3e}, intrahash = {c1c5f318c87c6df1d0742e8431a22b32}, isbn = {978-1-4503-1961-4}, keywords = {dblp}, pages = {85-92}, publisher = {ACM}, timestamp = {2018-11-07T14:23:26.000+0100}, title = {Achieving resilience of heterogeneous networks through predictive, formal analysis.}, url = {http://dblp.uni-trier.de/db/conf/hicons/hicons2013.html#QinDTV13}, year = 2013 }