@inproceedings{ dblp2672516,
  title = {Model Checking Linearizability via Refinement},
  author = {Yang Liu and Wei Chen and Yanhong A. Liu and Jun Sun},
  author_short = {Liu, Y. and Chen, W. and Liu, Y. A. and Sun, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2009},
  key = {dblp2672516},
  id = {dblp2672516},
  url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/FM09a.pdf},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fm/LiuCLS09},
  url = {http://dx.doi.org/10.1007/978-3-642-05089-3_21},
  conference = {FM},
  pages = {321-337},
  text = {FM 2009:321-337},
  booktitle = {Proceedings of Formal Methods (FM)}
}

{"_id":"wMcoTKoKh63yn5ogh","authorIDs":["54cf93fc91c843ab6e00058a"],"author_short":["Liu, Y.","Chen, W.","Liu, Y.<nbsp>A.","Sun, J."],"bibbaseid":"liu-chen-liu-sun-modelcheckinglinearizabilityviarefinement-2009","bibdata":{"author":["Liu, Yang","Chen, Wei","Liu, Yanhong A.","Sun, Jun"],"author_short":["Liu, Y.","Chen, W.","Liu, Y.<nbsp>A.","Sun, J."],"bibtex":"@inproceedings{ dblp2672516,\n title = {Model Checking Linearizability via Refinement},\n author = {Yang Liu and Wei Chen and Yanhong A. Liu and Jun Sun},\n author_short = {Liu, Y. and Chen, W. and Liu, Y. A. and Sun, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2009},\n key = {dblp2672516},\n id = {dblp2672516},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/FM09a.pdf},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fm/LiuCLS09},\n url = {http://dx.doi.org/10.1007/978-3-642-05089-3_21},\n conference = {FM},\n pages = {321-337},\n text = {FM 2009:321-337},\n booktitle = {Proceedings of Formal Methods (FM)}\n}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fm/LiuCLS09","booktitle":"Proceedings of Formal Methods (FM)","conference":"FM","id":"dblp2672516","key":"dblp2672516","pages":"321-337","text":"FM 2009:321-337","title":"Model Checking Linearizability via Refinement","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-642-05089-3_21","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/FM09a.pdf","year":"2009","bibbaseid":"liu-chen-liu-sun-modelcheckinglinearizabilityviarefinement-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-05089-3_21"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/FM09a.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.976Z","downloads":0,"keywords":[],"search_terms":["model","checking","linearizability","via","refinement","liu","chen","liu","sun"],"title":"Model Checking Linearizability via Refinement","year":2009,"dataSources":["mpMYjTrc4gjXaNRQh"]}