TY  - GEN
AU  - Katoen, Joost-Pieter
TI  - Concepts, algorithms and tools for model checking - (E-BOOK)
U1  - 005.52 
KW  - E-BOOK
N1  - System Validation (page-15 ),Model Checking Linear Temporal Logic (page-),47 Model Checking Branching Temporal Logic (page-127),Model Checking Real-Time Temporal Logic(page-189),  A Survey of State-Space Reduction Techniques (page-257)
ER  -