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/SardarAHJH16.rdf
Muhammad Usama Sardar et al.: Probabilistic Formal Verification of the SATS Concept of Operation. (2016) conf/nfm/SardarAHJH16 10.1007/978-3-319-40648-0_15 Probabilistic Formal Verification of the SATS Concept of Operation. 5 Muhammad Usama Sardar 1 Nida Afaq 2 Khaza Anuarul Hoque 3 Taylor T. Johnson 4 Osman Hasan 5 191-205 NFM NFM 2016 2016 provenance information for RDF data of dblp record 'conf/nfm/SardarAHJH16' 2021-04-09T18:39:48+0200