@inproceedings{ dblp2889108,
  title = {An analyzer for extended compositional process algebras},
  author = {Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong},
  author_short = {Liu 0003, Y. and Sun 0001, J. and Song Dong, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2008},
  key = {dblp2889108},
  id = {dblp2889108},
  biburl = {http://www.dblp.org/rec/bibtex/conf/icse/LiuSD08},
  url = {http://doi.acm.org/10.1145/1370175.1370187},
  conference = {ICSE Companion},
  pages = {919-920},
  text = {ICSE Companion 2008:919-920},
  booktitle = {Proceedings of ICSE Companion}
}

{"_id":"yT9b86dZbcRfwHMW5","authorIDs":["54cf2b4491c843ab6e000476"],"author_short":["0003, Y.<nbsp>L.","0001, J.<nbsp>S.","Dong, J.<nbsp>S."],"bibbaseid":"0003-0001-dong-ananalyzerforextendedcompositionalprocessalgebras-2008","bibdata":{"author":["0003, Yang Liu","0001, Jun Sun","Dong, Jin Song"],"author_short":["0003, Y.<nbsp>L.","0001, J.<nbsp>S.","Dong, J.<nbsp>S."],"bibtex":"@inproceedings{ dblp2889108,\n title = {An analyzer for extended compositional process algebras},\n author = {Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong},\n author_short = {Liu 0003, Y. and Sun 0001, J. and Song Dong, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2008},\n key = {dblp2889108},\n id = {dblp2889108},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icse/LiuSD08},\n url = {http://doi.acm.org/10.1145/1370175.1370187},\n conference = {ICSE Companion},\n pages = {919-920},\n text = {ICSE Companion 2008:919-920},\n booktitle = {Proceedings of ICSE Companion}\n}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icse/LiuSD08","booktitle":"Proceedings of ICSE Companion","conference":"ICSE Companion","id":"dblp2889108","key":"dblp2889108","pages":"919-920","text":"ICSE Companion 2008:919-920","title":"An analyzer for extended compositional process algebras","type":"inproceedings","url":"http://doi.acm.org/10.1145/1370175.1370187","year":"2008","bibbaseid":"0003-0001-dong-ananalyzerforextendedcompositionalprocessalgebras-2008","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/1370175.1370187"},"downloads":0},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:13.352Z","downloads":0,"keywords":[],"search_terms":["analyzer","extended","compositional","process","algebras","0003","0001","dong"],"title":"An analyzer for extended compositional process algebras","year":2008,"dataSources":["ZtcgqYKBLHt2gfuHW"]}