Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
SPIN model checking: an introduction
Home
Publications
SPIN model checking: an introduction
SPIN model checking: an introduction
Authors:
GH
Gerard Holzmann
Gerard Holzmann
EN
Eli Najm
Eli Najm
AS
Ahmed Serhrouchni
Ahmed Serhrouchni
Citation Alert
Add to Library
Cite
Download
Share
Download
Publisher website
Google Scholar
1 March 2000
journal article
Published by
Springer Nature
in
International Journal on Software Tools for Technology Transfer
Vol. 2
(4)
,
321-327
DOI:
10.1007/s100090050039
Abstract
No abstract available
Cited
Cited by 32 articles
Scroll to top