Sign inSubmit

Journal of Computer Science

ISSN 1549-3636 (print)eISSN 1552-6607 (online) Open access
Sign up for alertsSubmit manuscript
computersciencejournal.org is not ours. This journal is published only at thescipub.com/jcs. Report a suspicious emailcomputersciencejournal.org is not ours · Report
Research Article · Open access · Published 9 July 2013

FORMAL VERIFICATION OF SAFETY MESSAGE DISSEMINATION PROTOCOL FOR VANETS

M. A. Berlin, Sheila Anand
ArticleArticle metrics

Since publication

6,858Views
5,750PDF downloads
4Citations (Crossref)

Views and downloads by month

NovDecJanFebMarAprMayJunJulAugSepOct
Views PDF downloadsLast 12 months, counted as COUNTER asks (robots and repeat clicks within 30 seconds left out)
Show as a table
Views and downloads by month
MonthViewsDownloads
Nov 2025154137
Dec 202513991
Jan 2026142102
Feb 202611485
Mar 2026198102
Apr 2026135138
May 2026163117
Jun 2026191108
Jul 202618496
Aug 202696108
Sep 202612783
Oct 202611497

Citing articles (4)

Read from Crossref’s cited-by service every week, newest first.

  1. doi:10.1016/j.matpr.2020.09.427Found 2 November 2020
  2. doi:10.1109/iwcmc.2019.8766783Found 12 June 2020
  3. doi:10.4028/www.scientific.net/amr.846-847.858Found 12 June 2020
  4. doi:10.1186/2193-1801-3-173Found 12 June 2020