TY  - GEN
AU  - Baier, Christel.
AU  - Katoen, Joost-Pieter.
CN  - QA76.76.V47
CY  - Cambridge, Mass. :
DA  - 2008.
ID  - 811128
KW  - Computer systems
KW  - Computer software
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3338793
PB  - MIT Press,
PP  - Cambridge, Mass. :
PY  - 2008.
T1  - Principles of model checking
TI  - Principles of model checking
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3338793
ER  -