Paper  Paper  bibtex   

@article{ dblp1605283,
  title = {Towards verification of computation orchestration},
  author = {Jin Song Dong and Yang Liu and Jun Sun and Xian Zhang},
  author_short = {Song Dong, J. and Liu, Y. and Sun, J. and Zhang, X.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1605283},
  id = {dblp1605283},
  url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/fac2014.pdf},
  biburl = {http://www.dblp.org/rec/bibtex/journals/fac/DongLSZ14},
  url = {http://dx.doi.org/10.1007/s00165-013-0280-9},
  journal = {Formal Asp. Comput. (FAC)},
  pages = {729-759},
  number = {4},
  volume = {26},
  text = {Formal Asp. Comput. (FAC) 26(4):729-759 (2014)}
}