@inproceedings{ dblp1747125,
  title = {CELL: A Compositional Verification Framework},
  author = {Kun Ji and Yang Liu 0003 and Shang-Wei Lin and Jun Sun 0001 and Jin Song Dong and Truong Khanh Nguyen},
  author_short = {Ji, K. and Liu 0003, Y. and Lin, S. and Sun 0001, J. and Song Dong, J. and Khanh Nguyen, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1747125},
  id = {dblp1747125},
  biburl = {http://www.dblp.org/rec/bibtex/conf/atva/JiLL0DN13},
  url = {http://dx.doi.org/10.1007/978-3-319-02444-8_38},
  conference = {ATVA},
  pages = {474-477},
  text = {ATVA 2013:474-477},
  booktitle = {Proceedings of Automated Technology for Verification and Analysis (ATVA)}
}

{"_id":"96k5AN4epYkwPmwJm","authorIDs":[],"author_short":["Ji, K.","0003, Y.<nbsp>L.","Lin, S.","0001, J.<nbsp>S.","Dong, J.<nbsp>S.","Nguyen, T.<nbsp>K."],"bibbaseid":"ji-0003-lin-0001-dong-nguyen-cellacompositionalverificationframework-2013","bibdata":{"author":["Ji, Kun","0003, Yang Liu","Lin, Shang-Wei","0001, Jun Sun","Dong, Jin Song","Nguyen, Truong Khanh"],"author_short":["Ji, K.","0003, Y.<nbsp>L.","Lin, S.","0001, J.<nbsp>S.","Dong, J.<nbsp>S.","Nguyen, T.<nbsp>K."],"bibtex":"@inproceedings{ dblp1747125,\n title = {CELL: A Compositional Verification Framework},\n author = {Kun Ji and Yang Liu 0003 and Shang-Wei Lin and Jun Sun 0001 and Jin Song Dong and Truong Khanh Nguyen},\n author_short = {Ji, K. and Liu 0003, Y. and Lin, S. and Sun 0001, J. and Song Dong, J. and Khanh Nguyen, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1747125},\n id = {dblp1747125},\n biburl = {http://www.dblp.org/rec/bibtex/conf/atva/JiLL0DN13},\n url = {http://dx.doi.org/10.1007/978-3-319-02444-8_38},\n conference = {ATVA},\n pages = {474-477},\n text = {ATVA 2013:474-477},\n booktitle = {Proceedings of Automated Technology for Verification and Analysis (ATVA)}\n}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/atva/JiLL0DN13","booktitle":"Proceedings of Automated Technology for Verification and Analysis (ATVA)","conference":"ATVA","id":"dblp1747125","key":"dblp1747125","pages":"474-477","text":"ATVA 2013:474-477","title":"CELL: A Compositional Verification Framework","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-319-02444-8_38","year":"2013","bibbaseid":"ji-0003-lin-0001-dong-nguyen-cellacompositionalverificationframework-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-02444-8_38"},"downloads":0},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:12.959Z","downloads":0,"keywords":[],"search_terms":["cell","compositional","verification","framework","ji","0003","lin","0001","dong","nguyen"],"title":"CELL: A Compositional Verification Framework","year":2013,"dataSources":["ZtcgqYKBLHt2gfuHW"]}