Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems
Crossref DOI link: https://doi.org/10.1007/s11432-015-5317-7
Published Online: 2015-04-08
Published Print: 2015-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wang, FuTian
Liu, Xiao
Yang, Yun
Text and Data Mining valid from 2015-04-08