Marjan Sirjani

Identifiers

• name variant Marjan Sirjani 0.50 · backfill

Papers (1)

1. VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs cs.NI · 2019 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Ali Movaghar 1 shared papers
• Ehsan Khamespanah 1 shared papers
• Farnaz Yousefi 1 shared papers
• Mohammed Gharib 1 shared papers