Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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 = {2024-07-16T00: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-07-22T07:31:56.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
}