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]

@inproceedings{YangBSD05,
  title = {Deductive synthesis of workflows for e-Science},
  author = {Bin Yang and Alan Bundy and Alan Smaill and Lucas Dixon},
  year = {2005},
  doi = {10.1109/CCGRID.2005.1558550},
  url = {http://doi.ieeecomputersociety.org/10.1109/CCGRID.2005.1558550},
  tags = {e-science, workflow},
  researchr = {https://researchr.org/publication/YangBSD05},
  cites = {0},
  citedby = {0},
  pages = {168-175},
  booktitle = {5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK},
  publisher = {IEEE Computer Society},
}