{"_id":"MBCDHbXwqWwAsuMtC","bibbaseid":"yousefi-khamespanah-gharib-sirjani-movaghar-verivancaanactorbasedframeworkforformalverificationofwarningmessagedisseminationschemesinvanets-2019","authorIDs":["3ZEdTR9w2wTgcZTAM","3dE3dbeSAZj9cdJdT","3kJYiMyuZy9XzZTFf","3mJs9nAnuBWoF3uEJ","5cba29989c565010000001bb","5e48489c00973ede0100008a","5e4bcf56a6b53fde010000f0","5e4bea5c8f0677df010000fa","5e4c033e0dff2bde01000103","5e4c04850dff2bde01000133","5e4c36c6c1eb51df0100010d","5e4c379ec1eb51df01000118","5e4c3a67c1eb51df01000145","5e4c3c10c1eb51df01000163","5e4ebc41d9cddadf01000086","5e4ed1842962cadf0100000b","5e4f42ee8a3535f301000022","5e4faddf29097dde0100012d","5e4fc5ef2c51e8de010000d5","5e4ff4ecf5b214df010000af","5e59fdf86ef27ddf010000ba","8FJxRaTcguAaMXtfe","9ggHhj6zqie7rwG3F","BBgxLjbGHmfsHvwzh","FkMYRLmLw7La8daXq","JTjMQawZc2HzHPwy9","WEf9yCb267W8TixGn","WH6eFBAhTHxtEYgup","WziT7FjRJZGzTQQoa","ZT8xz5Q67yDuRyyzD","Zhw8KL6TPMbHXvHpH","h8iSYi3GDxMcwRyqg","hra4bE2tdm9RtJ8eD","htCXDpnZ2eLcbQXSs","jpXRgz3jcFkoAdEDo","n9SgYXbQA5xJSeGwP","voga5baxdwafbiXwM","w8afXQqSMP673Z32C"],"author_short":["Yousefi, F.","Khamespanah, E.","Gharib, M.","Sirjani, M.","Movaghar, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Farnaz"],"propositions":[],"lastnames":["Yousefi"],"suffixes":[]},{"firstnames":["Ehsan"],"propositions":[],"lastnames":["Khamespanah"],"suffixes":[]},{"firstnames":["Mohammed"],"propositions":[],"lastnames":["Gharib"],"suffixes":[]},{"firstnames":["Marjan"],"propositions":[],"lastnames":["Sirjani"],"suffixes":[]},{"firstnames":["Ali"],"propositions":[],"lastnames":["Movaghar"],"suffixes":[]}],"title":"VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs","journal":"CoRR","volume":"abs/1905.01137","year":"2019","url":"http://arxiv.org/abs/1905.01137","eprinttype":"arXiv","eprint":"1905.01137","timestamp":"Wed, 12 May 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1905-01137.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1905-01137,\n author = {Farnaz Yousefi and\n Ehsan Khamespanah and\n Mohammed Gharib and\n Marjan Sirjani and\n Ali Movaghar},\n title = {VeriVANca: An Actor-Based Framework for Formal Verification of Warning\n Message Dissemination Schemes in VANETs},\n journal = {CoRR},\n volume = {abs/1905.01137},\n year = {2019},\n url = {http://arxiv.org/abs/1905.01137},\n eprinttype = {arXiv},\n eprint = {1905.01137},\n timestamp = {Wed, 12 May 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-1905-01137.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Yousefi, F.","Khamespanah, E.","Gharib, M.","Sirjani, M.","Movaghar, A."],"key":"DBLP:journals/corr/abs-1905-01137","id":"DBLP:journals/corr/abs-1905-01137","bibbaseid":"yousefi-khamespanah-gharib-sirjani-movaghar-verivancaanactorbasedframeworkforformalverificationofwarningmessagedisseminationschemesinvanets-2019","role":"author","urls":{"Paper":"http://arxiv.org/abs/1905.01137"},"metadata":{"authorlinks":{"khamespanah, e":"http://www.ehsankhamespanah.ir/"}}},"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb1/k/Khamespanah:Ehsan.bib","creationDate":"2019-08-07T07:18:27.866Z","downloads":1,"keywords":[],"search_terms":["verivanca","actor","based","framework","formal","verification","warning","message","dissemination","schemes","vanets","yousefi","khamespanah","gharib","sirjani","movaghar"],"title":"VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs","year":2019,"dataSources":["XQFBr7xfzAa2rp9Ka"]}