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/ccs/BalutaSSMS19.rdf
Teodora Baluta et al.: Quantitative Verification of Neural Networks and Its Security Applications. (2019) conf/ccs/BalutaSSMS19 10.1145/3319535.3354245 Quantitative Verification of Neural Networks and Its Security Applications. 5 Teodora Baluta 1 Shiqi Shen 2 Shweta Shinde 3 Kuldeep S. Meel 4 Prateek Saxena 5 1249-1264 CCS CCS 2019 2019 provenance information for RDF data of dblp record 'conf/ccs/BalutaSSMS19' 2022-10-02T15:56:15+0200