*to main content*

*to footer with external links*

Result: Principles of model checking

*Title*:

Principles of model checking / Christel Baier ; Joost-Pieter Katoen

*Author/editor-in-chief*:

Baier, Christel ; Katoen, Joost-Pieter

*Publication*:

Cambridge [u.a.] : MIT Press, 2008

*Physical description scale*:

XVII, 963 S. : Ill., graph. Darst.

*Format*:

*book*

*Language*:

*eng*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9780262026499