Projection Temporal Logic Oriented Model Checking for Web Services
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 43 , 4 ; 39-43
2009-01-01
5 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
|Specification and Verification of Composite Web Services Based on Extended Projection Temporal Logic
British Library Online Contents | 2007
|A Key Technique to Develop the Model Checker for Propositional Projection Temporal Logic
British Library Online Contents | 2010
|Logic Model Checking of Time-Periodic Real-Time Systems
NTRS | 2012
|