Edinburgh Research Explorer

Deductive Synthesis of Workflows for E-Science

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Deductive Synthesis of Workflows for E-Science. / Yang, B.; Bundy, Alan; Smaill, A.; Dixon, L.

IEEE International Symposium on Cluster Computing and the Grid, 2005. 2005. p. 168 - 175 Vol. 1 .

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Yang, B, Bundy, A, Smaill, A & Dixon, L 2005, Deductive Synthesis of Workflows for E-Science. in IEEE International Symposium on Cluster Computing and the Grid, 2005. pp. 168 - 175 Vol. 1 . https://doi.org/10.1109/CCGRID.2005.1558550

APA

Yang, B., Bundy, A., Smaill, A., & Dixon, L. (2005). Deductive Synthesis of Workflows for E-Science. In IEEE International Symposium on Cluster Computing and the Grid, 2005 (pp. 168 - 175 Vol. 1 ) https://doi.org/10.1109/CCGRID.2005.1558550

Vancouver

Yang B, Bundy A, Smaill A, Dixon L. Deductive Synthesis of Workflows for E-Science. In IEEE International Symposium on Cluster Computing and the Grid, 2005. 2005. p. 168 - 175 Vol. 1 https://doi.org/10.1109/CCGRID.2005.1558550

Author

Yang, B. ; Bundy, Alan ; Smaill, A. ; Dixon, L. / Deductive Synthesis of Workflows for E-Science. IEEE International Symposium on Cluster Computing and the Grid, 2005. 2005. pp. 168 - 175 Vol. 1