• Propagation-Aware Temporal Ver...

Treffer: Propagation-Aware Temporal Verification for Parallel Business Cloud Workflows

Title:
Propagation-Aware Temporal Verification for Parallel Business Cloud Workflows
Authors:
Luo, Haoyu, Liu, Xiao, Liu, Jin, Yang, Yun
Source:
2017 IEEE International Conference on Web Services (ICWS) ICWS Web Services (ICWS), 2017 IEEE International Conference on. :106-113 Jun, 2017
Relation:
2017 IEEE International Conference on Web Services (ICWS)
Database:
IEEE Xplore Digital Library