TY  - RPRT
TI  - VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
AU  - Farnaz Yousefi
AU  - Ehsan Khamespanah
AU  - Mohammed Gharib
AU  - Marjan Sirjani
AU  - Ali Movaghar
PY  - 2019
UR  - https://arxiv.org/abs/1905.01137
ID  - 1905.01137
ER  -