TY  - BOOK
AU  - Clarke, Edmund M.
TI  - Model checking
SN  - 9780262038836
U1  - 004.21 CLA 
PY  - 1999///
KW  - Computer Science
KW  - Model, checking
N1  - Faculty, students and Staff
UR  - https://libgen.is/book/index.php?md5=E70DD960B803F6011802595BBDC065B7
ER  -