25 Years of Model Checking - History, Achievements, Perspectives

  • Published 2008 in 25 Years of Model Checking

Abstract

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

Topics

Statistics

05101520082009201020112012201320142015201620172018
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