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 28 February 2009

Verifying Complex Interaction between Hardware Processes

Kiran Ramineni, Shireesh Verma, Ian G. Harris
ArticleMetrics

Since publication

6,953Views
4,491PDF downloads
0Citations (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 2025159101
Dec 202513275
Jan 202614696
Feb 202612577
Mar 2026185102
Apr 2026110120
May 202616893
Jun 202619684
Jul 202616794
Aug 202688123
Sep 202612791
Oct 2026101103

Citing articles (0)

No article has cited this one yet. Citing articles are read from Crossref’s cited-by service every week and listed here with their journal and year, newest first.