25 Years of Model Checking - History, Achievements, Perspectives

  • Published 2008 in 25 Years of Model Checking


Will reading habit influence your life? Many say yes. Reading 25 years of model checking history achievements perspectives 1st edition is a good habit; you can develop this habit to be such interesting way. Yeah, reading habit will not only make you have any favourite activity. It will be one of guidance of your life. When reading has become a habit, you… (More)
DOI: 10.1007/978-3-540-69850-0



Citations per Year

71 Citations

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

See our FAQ for additional information.

  • Presentations referencing similar topics