A Key Technique to Develop the Model Checker for Propositional Projection Temporal Logic
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 44 , 10 ; 24-29
2010-01-01
6 pages
Article (Journal)
Unknown
DDC: | 500 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Model-Checking Security Protocol with Propositional Projection Temporal Logic
British Library Online Contents | 2010
|Projection Temporal Logic Oriented Model Checking for Web Services
British Library Online Contents | 2009
|