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 25 February 2011

Analysis of the Model Checkers' Input Languages for Modeling Traffic Light Systems

Pathiah Abdul Samat, Abdullah Mohd Zin, Zarina Shukur
ArticleArticle metrics

Since publication

7,887Views
7,634PDF downloads
1Citations (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 2025149142
Dec 2025150102
Jan 2026148109
Feb 202611788
Mar 202617896
Apr 2026133136
May 2026137110
Jun 202618996
Jul 202619589
Aug 2026100103
Sep 2026131100
Oct 2026115129

Citing articles (1)

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

  1. doi:10.1109/access.2017.2728860Found 12 June 2020