@article{ dblp1605283,
  title = {Towards verification of computation orchestration},
  author = {Jin Song Dong and Yang Liu 0003 and Jun Sun 0001 and Xian Zhang},
  author_short = {Song Dong, J. and Liu 0003, Y. and Sun 0001, J. and Zhang, X.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1605283},
  id = {dblp1605283},
  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)}
}

{"_id":"yTwZCgLiiuHTaMPE8","authorIDs":["54cf2b4491c843ab6e000476"],"author_short":["Dong, J.<nbsp>S.","0003, Y.<nbsp>L.","0001, J.<nbsp>S.","Zhang, X."],"bibbaseid":"dong-0003-0001-zhang-towardsverificationofcomputationorchestration-2014","bibdata":{"author":["Dong, Jin Song","0003, Yang Liu","0001, Jun Sun","Zhang, Xian"],"author_short":["Dong, J.<nbsp>S.","0003, Y.<nbsp>L.","0001, J.<nbsp>S.","Zhang, X."],"bibtex":"@article{ dblp1605283,\n title = {Towards verification of computation orchestration},\n author = {Jin Song Dong and Yang Liu 0003 and Jun Sun 0001 and Xian Zhang},\n author_short = {Song Dong, J. and Liu 0003, Y. and Sun 0001, J. and Zhang, X.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1605283},\n id = {dblp1605283},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fac/DongLSZ14},\n url = {http://dx.doi.org/10.1007/s00165-013-0280-9},\n journal = {Formal Asp. Comput. (FAC)},\n pages = {729-759},\n number = {4},\n volume = {26},\n text = {Formal Asp. Comput. (FAC) 26(4):729-759 (2014)}\n}","bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fac/DongLSZ14","id":"dblp1605283","journal":"Formal Asp. Comput. (FAC)","key":"dblp1605283","number":"4","pages":"729-759","text":"Formal Asp. Comput. (FAC) 26(4):729-759 (2014)","title":"Towards verification of computation orchestration","type":"article","url":"http://dx.doi.org/10.1007/s00165-013-0280-9","volume":"26","year":"2014","bibbaseid":"dong-0003-0001-zhang-towardsverificationofcomputationorchestration-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s00165-013-0280-9"},"downloads":0},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:12.862Z","downloads":0,"keywords":[],"search_terms":["towards","verification","computation","orchestration","dong","0003","0001","zhang"],"title":"Towards verification of computation orchestration","year":2014,"dataSources":["ZtcgqYKBLHt2gfuHW"]}