Principles of the spin model checker


As known, to finish this book, you may not need to get it at once in a day. Doing the activities along the day may make you feel so bored. If you try to force reading, you may prefer to do other entertaining activities. But, one of concepts we want you to have this book is that it will not make you feel bored. Feeling bored when reading will be only unless you don't like the book. principles of the spin model checker really offers what everybody wants.

DOI: 10.1007/978-1-84628-770-1
Citations per Year

213 Citations

Semantic Scholar estimates that this publication has 213 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{BenAri2008PrinciplesOT, title={Principles of the spin model checker}, author={Mordechai Ben-Ari}, year={2008} }