Fingerprint
Dive into the research topics of 'Verifying transactional requirements of web service compositions using temporal logic templates'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verifying transactional requirements of web service compositions using temporal logic templates
Scott Bourne, Claudia Szabo, Quan Z. Sheng
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
7
Citations
(Scopus)