@misc{indiciaec9a903e3b4b3,
  title = {VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs},
  author = {Farnaz Yousefi and Ehsan Khamespanah and Mohammed Gharib and Marjan Sirjani and Ali Movaghar},
  year = {2019},
  url = {https://arxiv.org/abs/1905.01137},
  note = {Source identifier: 1905.01137}
}