@article{ dblp2865636,
  title = {Compositional encoding for bounded model checking},
  author = {Jun Sun and Yang Liu and Jin Song Dong and Jing Sun},
  author_short = {Sun, J. and Liu, Y. and Song Dong, J. and Sun, 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":"NPhqjuw9zmTwkNfo4","authorIDs":[],"author_short":["Sun, J.","Liu, Y.","Dong, J.<nbsp>S.","Sun, J."],"bibbaseid":"sun-liu-dong-sun-compositionalencodingforboundedmodelchecking-2008","bibdata":{"author":["Sun, Jun","Liu, Yang","Dong, Jin Song","Sun, Jing"],"author_short":["Sun, J.","Liu, Y.","Dong, J.<nbsp>S.","Sun, J."],"bibtex":"@article{ dblp2865636,\n title = {Compositional encoding for bounded model checking},\n author = {Jun Sun and Yang Liu and Jin Song Dong and Jing Sun},\n author_short = {Sun, J. and Liu, Y. and Song Dong, J. and Sun, 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":"sun-liu-dong-sun-compositionalencodingforboundedmodelchecking-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11704-008-0035-6"},"downloads":0,"html":""},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.988Z","downloads":0,"keywords":[],"search_terms":["compositional","encoding","bounded","model","checking","sun","liu","dong","sun"],"title":"Compositional encoding for bounded model checking","year":2008,"dataSources":["mpMYjTrc4gjXaNRQh"]}