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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
Ping Yang, Zijiang Yang, Shiyong Lu, "Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines," e-science, pp.619-626, Third IEEE International Conference on e-Science and Grid Computing (e-Science 2007), 2007
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb