Concepts, algorithms and tools for model checking

Concepts, algorithms and tools for model checking - (E-BOOK) Katoen, Joost-Pieter creator 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), Joost-Pieter Katoen E-BOOK 005.52 20170207154019.0