Ping Yang, Zijiang Yang, Shiyong Lu, "Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines," e-Science and Grid Computing, International Conference on, pp. 619-626, Third IEEE International Conference on e-Science and Grid Computing (e-Science 2007), 2007.

@article{ 10.1109/E-SCIENCE.2007.35,
author = {Ping Yang and Zijiang Yang and Shiyong Lu},
title = {Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines},
journal ={e-Science and Grid Computing, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-3064-8},
pages = {619-626},
doi = {http://doi.ieeecomputersociety.org/10.1109/E-SCIENCE.2007.35},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - e-Science and Grid Computing, International Conference on
TI - Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines
SN - 0-7695-3064-8
SP619
EP626
A1 - Ping Yang,
A1 - Zijiang Yang,
A1 - Shiyong Lu,
PY - 2007
VL - 0
JA - e-Science and Grid Computing, International Conference on
ER -