iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/nfm/MengVSMSD22.xml
Baoluo Meng Arjun Viswanathan 0001 William Smith Abha Moitra Kit Siu Michael Durling Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. 752-770 2022 NFM https://doi.org/10.1007/978-3-031-06773-0_40 conf/nfm/2022 db/conf/nfm/nfm2022.html#MengVSMSD22