Principles of the spin model checker

@inproceedings{BenAri2008PrinciplesOT,
  title={Principles of the spin model checker},
  author={Mordechai Ben-Ari},
  year={2008}
}
The principles of the spin model checker that we provide for you will be ultimate to give preference. This reading book is your chosen book to accompany you when in your free time, in your lonely. This kind of book can help you to heal the lonely and get or add the inspirations to be more inoperative. Yeah, book as the widow of the world can be very inspiring manners. As here, this book is also created by an inspiring author that can make influences of you to do more. 
Highly Influential
This paper has highly influenced 21 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 210 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 108 extracted citations

210 Citations

02040'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 210 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…