TY  - BOOK
T1  - Principles of model checking
A1  - Baier, Christel
A2  - Katoen, Joost-Pieter
LA  - English
PP  - Cambridge, Mass.
PB  - MIT Press
YR  - 2008
UL  - https://tuklas.up.edu.ph/Record/UP-99796217608810051
OP  - 975
CN  - QA 76.76 V47 B35 2008
SN  - 9780262026499 (hbk. : alk. paper)
SN  - 026202649X (hbk. : alk. paper)
KW  - Computer systems : Verification.
KW  - Computer software : Verification.
ER  -