| 000 | 00552 a2200133 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20170207154019.0 | ||
| 040 | _cNust | ||
| 082 | _a005.52 | ||
| 100 | _aKatoen, Joost-Pieter | ||
| 245 |
_aConcepts, algorithms and tools for model checking - (E-BOOK) _cJoost-Pieter Katoen |
||
| 505 | _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), | ||
| 650 | _aE-BOOK | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c191571 _d191571 |
||