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 20 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 289 citations. REVIEW CITATIONS
Tweets
This paper has been referenced on Twitter 1 time. VIEW TWEETS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 112 citations

289 Citations

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

See our FAQ for additional information.