Junwei Cao, Fan Zhang, Ke Xu, Lianchen Liu, Cheng Wu. Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows. J. Comput. Sci. Technol., 26(6):1017-1030, 2011. [doi]
@article{CaoZXLW11, title = {Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows}, author = {Junwei Cao and Fan Zhang and Ke Xu and Lianchen Liu and Cheng Wu}, year = {2011}, doi = {10.1007/s11390-011-1198-4}, url = {http://dx.doi.org/10.1007/s11390-011-1198-4}, researchr = {https://researchr.org/publication/CaoZXLW11}, cites = {0}, citedby = {0}, journal = {J. Comput. Sci. Technol.}, volume = {26}, number = {6}, pages = {1017-1030}, }