External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Software Architecture of Modern Model Checkers

Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg. Software Architecture of Modern Model Checkers. In VIDEO: Lecture Notes in Computer Science Celebrates 10,000th Manuscript!. Volume 10000 of Lecture Notes in Computer Science, pages 393-419, Springer, 2019. [doi]

Authors

Fabrice Kordon

This author has not been identified. Look up 'Fabrice Kordon' in Google

Michael Leuschel

This author has not been identified. It may be one of the following persons: Look up 'Michael Leuschel' in Google

Jaco van de Pol

This author has not been identified. Look up 'Jaco van de Pol' in Google

Yann Thierry-Mieg

This author has not been identified. Look up 'Yann Thierry-Mieg' in Google
runs on