@article{DBLP:journals/logcom/DemriF19,
  author       = {St{\'{e}}phane Demri and
                  Raul Fervari},
  title        = {The power of modal separation logics},
  journal      = {J. Log. Comput.},
  volume       = {29},
  number       = {8},
  pages        = {1139--1184},
  year         = {2019},
  url          = {https://doi.org/10.1093/logcom/exz019},
  doi          = {10.1093/LOGCOM/EXZ019},
  timestamp    = {Mon, 03 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/DemriF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"eS5Mx5b2K3Cr2DGP8","bibbaseid":"demri-fervari-thepowerofmodalseparationlogics-2019","authorIDs":["Crbmah7zN8yvGFp8w"],"author_short":["Demri, S.","Fervari, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Demri"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]}],"title":"The power of modal separation logics","journal":"J. Log. Comput.","volume":"29","number":"8","pages":"1139–1184","year":"2019","url":"https://doi.org/10.1093/logcom/exz019","doi":"10.1093/LOGCOM/EXZ019","timestamp":"Mon, 03 Feb 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/logcom/DemriF19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/logcom/DemriF19,\n author = {St{\\'{e}}phane Demri and\n Raul Fervari},\n title = {The power of modal separation logics},\n journal = {J. Log. Comput.},\n volume = {29},\n number = {8},\n pages = {1139--1184},\n year = {2019},\n url = {https://doi.org/10.1093/logcom/exz019},\n doi = {10.1093/LOGCOM/EXZ019},\n timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/logcom/DemriF19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Demri, S.","Fervari, R."],"key":"DBLP:journals/logcom/DemriF19","id":"DBLP:journals/logcom/DemriF19","bibbaseid":"demri-fervari-thepowerofmodalseparationlogics-2019","role":"author","urls":{"Paper":"https://doi.org/10.1093/logcom/exz019"},"metadata":{"authorlinks":{"fervari, r":"https://bibbase.org/show?bib=https://dblp.org/pid/117/9953.bib"}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/117/9953.bib","creationDate":"2021-03-11T01:47:07.489Z","downloads":0,"keywords":[],"search_terms":["power","modal","separation","logics","demri","fervari"],"title":"The power of modal separation logics","year":2019,"dataSources":["MSnnygamX7qXNxsq6","HJM7dqFRHjcZZmjge","KKtjZs868TWfeLxN2"]}