Kripke structure (model checking) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Kripke structure (model checking)" in English language version.

refsWebsite

Global rank English rank

1books.google.com

3^rd place

3^rd place

6^th place

6^th place

archive.org

Christel Baier; Joost-Pieter Katoen (2008). Principles of model checking. The MIT Press. pp. 20–21 and 94–95. ISBN 978-0-262-02649-9.

books.google.com

Klaus Schneider (2004). Verification of reactive systems: formal methods and algorithms. Springer. p. 45. ISBN 978-3-540-00296-3.