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 30 June 2007

Formal Validation of the Safety Property of Sack Protocol Using Theorem Proving Technique

Z. Shukur, N. Alias, M. H. Mohamed Halip, B. Idrus
ArticleMetrics

Since publication

6,227Views
4,330PDF 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 2025154115
Dec 202512580
Jan 2026128101
Feb 202611375
Mar 202617297
Apr 2026133128
May 202617994
Jun 202619683
Jul 202618095
Aug 202698103
Sep 202611986
Oct 202610398

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.