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 23 April 2013

Conditioned Slicing for Efficient Multiway Decision Graphs Model-Checker

Saad Elmansori
ArticleArticle metrics

Since publication

6,368Views
4,755PDF 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 2025165116
Dec 202515284
Jan 2026147109
Feb 202610788
Mar 202618099
Apr 2026133163
May 2026170129
Jun 2026175116
Jul 2026198111
Aug 2026101101
Sep 202611681
Oct 202610393

Citing articles (1)

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

  1. doi:10.1109/wccit.2013.6618673Found 12 June 2020