Principles of Model Checking
Baier, Christel
Principles of Model Checking - U.S.A. MIT Press 2008 - xvii, 963p.
9780262026499
Computer systems--Verification
004.24 / Bai
Principles of Model Checking - U.S.A. MIT Press 2008 - xvii, 963p.
9780262026499
Computer systems--Verification
004.24 / Bai