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 1 November 2011

Common Modeling Language for Model Checkers

Pathiah Abdul Samat, Abdullah Mohd Zin
ArticleArticle metrics

Since publication

8,343Views
4,783PDF downloads
2Citations (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 2025189111
Dec 202517582
Jan 202617484
Feb 202614256
Mar 202622189
Apr 2026144149
May 202615885
Jun 202621893
Jul 202617880
Aug 20269899
Sep 202611978
Oct 202612794

Citing articles (2)

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

  1. doi:10.1109/iccsa.2015.11Found 12 June 2020
  2. doi:10.1109/snpd.2015.7176271Found 12 June 2020