The SPIN Model Checker - primer and reference manual

Sorry, there's nothing here.

Topics

Statistics

0100200'04'06'08'10'12'14'16'18
Citations per Year

2,435 Citations

Semantic Scholar estimates that this publication has 2,435 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Holzmann2004TheSM, title={The SPIN Model Checker - primer and reference manual}, author={Gerard J. Holzmann}, year={2004} }