@article{ dblp2865636,
  title = {Compositional encoding for bounded model checking},
  author = {Jun Sun 0001 and Yang Liu 0003 and Jin Song Dong and Jing Sun 0002},
  author_short = {Sun 0001, J. and Liu 0003, Y. and Song Dong, J. and Sun 0002, J.},
  bibtype = {article},
  type = {article},
  year = {2008},
  key = {dblp2865636},
  id = {dblp2865636},
  biburl = {http://www.dblp.org/rec/bibtex/journals/fcsc/SunLDS08},
  url = {http://dx.doi.org/10.1007/s11704-008-0035-6},
  journal = {Frontiers of Computer Science in China (FCSC)},
  pages = {368-379},
  number = {4},
  volume = {2},
  text = {Frontiers of Computer Science in China (FCSC) 2(4):368-379 (2008)}
}

{"_id":"gPe9o4vu4jpubePcK","authorIDs":["54cf2b4491c843ab6e000476"],"author_short":["0001, J.<nbsp>S.","0003, Y.<nbsp>L.","Dong, J.<nbsp>S.","0002, J.<nbsp>S."],"bibbaseid":"0001-0003-dong-0002-compositionalencodingforboundedmodelchecking-2008","bibdata":{"author":["0001, Jun Sun","0003, Yang Liu","Dong, Jin Song","0002, Jing Sun"],"author_short":["0001, J.<nbsp>S.","0003, Y.<nbsp>L.","Dong, J.<nbsp>S.","0002, J.<nbsp>S."],"bibtex":"@article{ dblp2865636,\n title = {Compositional encoding for bounded model checking},\n author = {Jun Sun 0001 and Yang Liu 0003 and Jin Song Dong and Jing Sun 0002},\n author_short = {Sun 0001, J. and Liu 0003, Y. and Song Dong, J. and Sun 0002, J.},\n bibtype = {article},\n type = {article},\n year = {2008},\n key = {dblp2865636},\n id = {dblp2865636},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fcsc/SunLDS08},\n url = {http://dx.doi.org/10.1007/s11704-008-0035-6},\n journal = {Frontiers of Computer Science in China (FCSC)},\n pages = {368-379},\n number = {4},\n volume = {2},\n text = {Frontiers of Computer Science in China (FCSC) 2(4):368-379 (2008)}\n}","bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fcsc/SunLDS08","id":"dblp2865636","journal":"Frontiers of Computer Science in China (FCSC)","key":"dblp2865636","number":"4","pages":"368-379","text":"Frontiers of Computer Science in China (FCSC) 2(4):368-379 (2008)","title":"Compositional encoding for bounded model checking","type":"article","url":"http://dx.doi.org/10.1007/s11704-008-0035-6","volume":"2","year":"2008","bibbaseid":"0001-0003-dong-0002-compositionalencodingforboundedmodelchecking-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11704-008-0035-6"},"downloads":0},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:13.343Z","downloads":0,"keywords":[],"search_terms":["compositional","encoding","bounded","model","checking","0001","0003","dong","0002"],"title":"Compositional encoding for bounded model checking","year":2008,"dataSources":["ZtcgqYKBLHt2gfuHW"]}