Deductive synthesis of workflows for e-Science

Bin Yang, Alan Bundy, Alan Smaill, Lucas Dixon. Deductive synthesis of workflows for e-Science. In 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK. pages 168-175, IEEE Computer Society, 2005. [doi]

Authors

Bin Yang

This author has not been identified. Look up 'Bin Yang' in Google

Alan Bundy

This author has not been identified. Look up 'Alan Bundy' in Google

Alan Smaill

This author has not been identified. Look up 'Alan Smaill' in Google

Lucas Dixon

Identified as Lucas Dixon