Model-Checking Security Protocol with Propositional Projection Temporal Logic
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 44 , 8 ; 30-35
01.01.2010
6 pages
Aufsatz (Zeitschrift)
Unbekannt
| DDC: | 500 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A Key Technique to Develop the Model Checker for Propositional Projection Temporal Logic
| British Library Online Contents | 2010
Projection Temporal Logic Oriented Model Checking for Web Services
| British Library Online Contents | 2009
Hierarchical planning through propositional logic : highly efficient, versatile, and flexible
| BASE | 2019