@inproceedings{ dblp2399954,
  title = {Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO},
  author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Carl Leonardsson and Ahmed Rezine},
  author_short = {Aziz Abdulla, P. and Faouzi Atig, M. and Chen, Y. and Leonardsson, C. and Rezine, A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2399954},
  id = {dblp2399954},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/AbdullaACLR13},
  url = {http://dx.doi.org/10.1007/978-3-642-36742-7_37},
  conference = {TACAS},
  pages = {530-536},
  text = {TACAS 2013:530-536},
  booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}
}

{"_id":"yh4FCHxgwEtRj8q7e","bibbaseid":"azizabdulla-faouziatig-chen-leonardsson-rezine-memoraxapreciseandsoundtoolforautomaticfenceinsertionundertso-2013","downloads":0,"creationDate":"2016-02-18T16:00:36.041Z","title":"Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO","author_short":["Aziz Abdulla, P.","Faouzi Atig, M.","Chen, Y.","Leonardsson, C.","Rezine, A."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/AbdullaACLR13","bibdata":{"title":"Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO","author":["Parosh Aziz Abdulla","Mohamed Faouzi Atig","Yu-Fang Chen","Carl Leonardsson","Ahmed Rezine"],"author_short":["Aziz Abdulla, P.","Faouzi Atig, M.","Chen, Y.","Leonardsson, C.","Rezine, A."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp2399954","id":"dblp2399954","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/AbdullaACLR13","url":"http://dx.doi.org/10.1007/978-3-642-36742-7_37","conference":"TACAS","pages":"530-536","text":"TACAS 2013:530-536","booktitle":"Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)","bibtex":"@inproceedings{ dblp2399954,\n title = {Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO},\n author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Carl Leonardsson and Ahmed Rezine},\n author_short = {Aziz Abdulla, P. and Faouzi Atig, M. and Chen, Y. and Leonardsson, C. and Rezine, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp2399954},\n id = {dblp2399954},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/AbdullaACLR13},\n url = {http://dx.doi.org/10.1007/978-3-642-36742-7_37},\n conference = {TACAS},\n pages = {530-536},\n text = {TACAS 2013:530-536},\n booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}\n}","bibbaseid":"azizabdulla-faouziatig-chen-leonardsson-rezine-memoraxapreciseandsoundtoolforautomaticfenceinsertionundertso-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-36742-7_37"},"downloads":0,"html":""},"search_terms":["memorax","precise","sound","tool","automatic","fence","insertion","under","tso","aziz abdulla","faouzi atig","chen","leonardsson","rezine"],"keywords":[],"authorIDs":["5457e2a12abc8e9f3700086f"],"dataSources":["Jb8DeoQSNLiHfeJZG"]}