00552 a2200133 4500 Nust 20170207154019.0 Nust 005.52 Katoen, Joost-Pieter Concepts, algorithms and tools for model checking - (E-BOOK) Joost-Pieter Katoen 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), E-BOOK ddc BK 191571 191571 0 0 ddc 0 0 NFIC MCS MCS 2016-12-12 0 005.52 KAT MCSEB-851 2016-12-08 2016-12-12 BK