00697    a2200157   4500003000500000005001700005040000900022082001100031100002500042245008600067505024100153650001100394942001200405999001900417952010300436Nust20170207154019.0  cNust  a005.52  aKatoen, Joost-Pieter  aConcepts, algorithms and tools for model checking - (E-BOOK)cJoost-Pieter Katoen  aSystem 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),  aE-BOOK  2ddccBK  c191571d191571  00102ddc40708NFICaMCSbMCSd2016-12-12l0o005.52  KATpMCSEB-851r2016-12-08w2016-12-12yBK