@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)}
}

{"_id":"mvf226DXEDqkg7gF9","authorIDs":["54cf93fc91c843ab6e00058a"],"author_short":["Dong, J.<nbsp>S.","Liu, Y.","Sun, J.","Zhang, X."],"bibbaseid":"dong-liu-sun-zhang-towardsverificationofcomputationorchestration-2014","bibdata":{"author":["Dong, Jin Song","Liu, Yang","Sun, Jun","Zhang, Xian"],"author_short":["Dong, J.<nbsp>S.","Liu, Y.","Sun, J.","Zhang, X."],"bibtex":"@article{ dblp1605283,\n title = {Towards verification of computation orchestration},\n author = {Jin Song Dong and Yang Liu and Jun Sun and Xian Zhang},\n author_short = {Song Dong, J. and Liu, Y. and Sun, J. and Zhang, X.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1605283},\n id = {dblp1605283},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/fac2014.pdf},\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","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/fac2014.pdf","volume":"26","year":"2014","bibbaseid":"dong-liu-sun-zhang-towardsverificationofcomputationorchestration-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s00165-013-0280-9"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/fac2014.pdf"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.700Z","downloads":0,"keywords":[],"search_terms":["towards","verification","computation","orchestration","dong","liu","sun","zhang"],"title":"Towards verification of computation orchestration","year":2014,"dataSources":["mpMYjTrc4gjXaNRQh"]}