Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Holzmann, G., Najm, E. & Serhrouchni, A. SPIN model checking: an introduction. STTT 2, 321–327 (2000). https://doi.org/10.1007/s100090050039
Issue Date:
DOI: https://doi.org/10.1007/s100090050039