@article{DBLP:journals/corr/AmighiHHH14,
  author    = {Afshin Amighi and
               Christian Haack and
               Marieke Huisman and
               Cl{\'{e}}ment Hurlin},
  title     = {Permission-Based Separation Logic for Multithreaded Java Programs},
  journal   = {Logical Methods in Computer Science},
  volume    = {11},
  number    = {1},
  year      = {2015},
  url       = {https://lmcs.episciences.org/998}
}

{"_id":"xLYAx39GQYt9REAF8","bibbaseid":"amighi-haack-huisman-hurlin-permissionbasedseparationlogicformultithreadedjavaprograms-2015","authorIDs":["5d14be645b939dee01000058"],"author_short":["Amighi, A.","Haack, C.","Huisman, M.","Hurlin, C."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Afshin"],"propositions":[],"lastnames":["Amighi"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Haack"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Clément"],"propositions":[],"lastnames":["Hurlin"],"suffixes":[]}],"title":"Permission-Based Separation Logic for Multithreaded Java Programs","journal":"Logical Methods in Computer Science","volume":"11","number":"1","year":"2015","url":"https://lmcs.episciences.org/998","bibtex":"@article{DBLP:journals/corr/AmighiHHH14,\n author = {Afshin Amighi and\n Christian Haack and\n Marieke Huisman and\n Cl{\\'{e}}ment Hurlin},\n title = {Permission-Based Separation Logic for Multithreaded Java Programs},\n journal = {Logical Methods in Computer Science},\n volume = {11},\n number = {1},\n year = {2015},\n url = {https://lmcs.episciences.org/998}\n}\n\n","author_short":["Amighi, A.","Haack, C.","Huisman, M.","Hurlin, C."],"key":"DBLP:journals/corr/AmighiHHH14","id":"DBLP:journals/corr/AmighiHHH14","bibbaseid":"amighi-haack-huisman-hurlin-permissionbasedseparationlogicformultithreadedjavaprograms-2015","role":"author","urls":{"Paper":"https://lmcs.episciences.org/998"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-06-27T13:02:29.028Z","downloads":0,"keywords":[],"search_terms":["permission","based","separation","logic","multithreaded","java","programs","amighi","haack","huisman","hurlin"],"title":"Permission-Based Separation Logic for Multithreaded Java Programs","year":2015,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}