Baier, Christel
Principles of model checking - Cambridge The MIT Press 2008 - xvii, 963p.
9780262026499
Computer systems-Verification
Computer software-Verification
004.24 BAI/P
Principles of model checking - Cambridge The MIT Press 2008 - xvii, 963p.
9780262026499
Computer systems-Verification
Computer software-Verification
004.24 BAI/P