Vasa Curcin, Moustafa Ghanem, Yike Guo. Analysing scientific workflows with Computational Tree Logic. Cluster Computing, 12(4):399-419, 2009. [doi]
@article{CurcinGG09,
title = {Analysing scientific workflows with Computational Tree Logic},
author = {Vasa Curcin and Moustafa Ghanem and Yike Guo},
year = {2009},
doi = {10.1007/s10586-009-0099-6},
url = {http://dx.doi.org/10.1007/s10586-009-0099-6},
tags = {scientific workflow, logic, workflow},
researchr = {https://researchr.org/publication/CurcinGG09},
cites = {0},
citedby = {0},
journal = {Cluster Computing},
volume = {12},
number = {4},
pages = {399-419},
}