TY  - BOOK
AU  - McMillan, Kenneth L
TI  - Symbolic model checking
SN  - 0-7923-9380-5
CY  - Boston
ER  -