Katoen, Joost-Pieter <br/><br/>
Concepts, algorithms and tools for model checking - (E-BOOK) 
Joost-Pieter Katoen 
<br/><br/>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), 
<br/><br/><label>Subjects--Topical Terms: </label><br/>E-BOOK
<br/><br/><label>Dewey Class. No.: </label>005.52