%0 Conference Paper %1 conf/nfm/MengVSMSD22 %A Meng, Baoluo %A Viswanathan, Arjun %A Smith, William %A Moitra, Abha %A Siu, Kit %A Durling, Michael %B NFM %D 2022 %E Deshmukh, Jyotirmoy V. %E Havelund, Klaus %E Perez, Ivan %I Springer %K dblp %P 752-770 %T Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#MengVSMSD22 %V 13260 %@ 978-3-031-06773-0

@inproceedings{conf/nfm/MengVSMSD22, added-at = {2022-06-02T00:00:00.000+0200}, author = {Meng, Baoluo and Viswanathan, Arjun and Smith, William and Moitra, Abha and Siu, Kit and Durling, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2026b049371d797d3d6c19281184d93b5/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2022}, editor = {Deshmukh, Jyotirmoy V. and Havelund, Klaus and Perez, Ivan}, ee = {https://doi.org/10.1007/978-3-031-06773-0_40}, interhash = {665347418054e3c2991b0ee3c3f39e6e}, intrahash = {026b049371d797d3d6c19281184d93b5}, isbn = {978-3-031-06773-0}, keywords = {dblp}, pages = {752-770}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:33.000+0200}, title = {Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#MengVSMSD22}, volume = 13260, year = 2022 }