Analysing scientific workflows with Computational Tree Logic.

Vasa Curcin Moustafa Ghanem Yike Guo

Published in: Clust. Comput. (2009)

Keyphrases

scientific workflows
tree structure
scientific data
databases
database
e learning
knowledge acquisition
index structure