%0 Conference Paper %1 conf/safeconfig/KhanAR15 %A Khan, Yasir Imtiaz %A Al-Shaer, Ehab %A Rauf, Usman %B SafeConfig@CCS %D 2015 %E Al-Shaer, Ehab %E Oehmen, Christopher S. %E Rahman, Mohammad Ashiqur %I ACM %K dblp %P 9-14 %T Cyber Resilience-by-Construction: Modeling, Measuring & Verifying. %U http://dblp.uni-trier.de/db/conf/safeconfig/safeconfig2015.html#KhanAR15 %@ 978-1-4503-3821-9

@inproceedings{conf/safeconfig/KhanAR15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Khan, Yasir Imtiaz and Al-Shaer, Ehab and Rauf, Usman}, biburl = {https://www.bibsonomy.org/bibtex/2999c0ecb020941ccee002a7db12ac0f8/dblp}, booktitle = {SafeConfig@CCS}, crossref = {conf/safeconfig/2015}, editor = {Al-Shaer, Ehab and Oehmen, Christopher S. and Rahman, Mohammad Ashiqur}, ee = {https://doi.org/10.1145/2809826.2809836}, interhash = {7ebc0c17a80706afd380592e5fe731f8}, intrahash = {999c0ecb020941ccee002a7db12ac0f8}, isbn = {978-1-4503-3821-9}, keywords = {dblp}, pages = {9-14}, publisher = {ACM}, timestamp = {2018-11-07T12:55:04.000+0100}, title = {Cyber Resilience-by-Construction: Modeling, Measuring & Verifying.}, url = {http://dblp.uni-trier.de/db/conf/safeconfig/safeconfig2015.html#KhanAR15}, year = 2015 }