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/spin/YousefiKGSM19.rdf
Farnaz Yousefi et al.: VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. (2019) conf/spin/YousefiKGSM19 10.1007/978-3-030-30923-7_14 VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. 5 Farnaz Yousefi 1 Ehsan Khamespanah 2 Mohammed Gharib 3 Marjan Sirjani 4 Ali Movaghar 0001 5 244-259 SPIN SPIN 2019 2019 provenance information for RDF data of dblp record 'conf/spin/YousefiKGSM19' 2022-01-03T22:31:31+0100