bookSep 1, 2003Closed access

The SPIN Model Checker

GJGerard J. Holzmann

Abstract

No abstract available for this paper.

Citation impact

894
total citations
FWCI
40.56
Percentile
100%
References
0
Citations per year

Authors

1

Topics & keywords

Topics
Keywords
  • Model checking
  • Computer science
  • Programming language
No related works found for this paper.