DOI:  10.1007/s11432-015-5317-7  Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems
Author: Wang, FuTian.  v. 58  no. 5, pp. 1- 16  Date: 2015
ISSN:  1674-733X  EISSN:  1869-1919 
Get full text via these sources:
SpringerLink (use DOI)
Ebook package covering Chemistry & Materials Science, Social Sciences, Business and Management, and Biomedical & Life Sciences collections.
Ebook package covering Chemistry & Materials Science, Social Sciences, Business and Management, and Biomedical & Life Sciences collections.
Any issues, please contact the library for help: