@inproceedings{DBLP:conf/compsac/BenghabritGRS15,
  author    = {Walid Benghabrit and
               Herv{\'{e}} Grall and
               Jean{-}Claude Royer and
               Mohamed Sellami},
  title     = {Checking Accountability with a Prover},
  booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,
               {COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},
  pages     = {83--88},
  year      = {2015},
  crossref  = {DBLP:conf/compsac/2015},
  url       = {https://doi.org/10.1109/COMPSAC.2015.8},
  doi       = {10.1109/COMPSAC.2015.8},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/BenghabritGRS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"8fnjjts8ZKs3yKvrC","bibbaseid":"benghabrit-grall-royer-sellami-checkingaccountabilitywithaprover-2015","downloads":0,"creationDate":"2015-10-09T07:56:34.130Z","title":"Checking Accountability with a Prover","author_short":["Benghabrit, W.","Grall, H.","Royer, J.","Sellami, M."],"year":2015,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Sellami:Mohamed","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Walid"],"propositions":[],"lastnames":["Benghabrit"],"suffixes":[]},{"firstnames":["Hervé"],"propositions":[],"lastnames":["Grall"],"suffixes":[]},{"firstnames":["Jean-Claude"],"propositions":[],"lastnames":["Royer"],"suffixes":[]},{"firstnames":["Mohamed"],"propositions":[],"lastnames":["Sellami"],"suffixes":[]}],"title":"Checking Accountability with a Prover","booktitle":"39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2","pages":"83–88","year":"2015","crossref":"DBLP:conf/compsac/2015","url":"https://doi.org/10.1109/COMPSAC.2015.8","doi":"10.1109/COMPSAC.2015.8","timestamp":"Fri, 02 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/compsac/BenghabritGRS15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/compsac/BenghabritGRS15,\n author = {Walid Benghabrit and\n Herv{\\'{e}} Grall and\n Jean{-}Claude Royer and\n Mohamed Sellami},\n title = {Checking Accountability with a Prover},\n booktitle = {39th {IEEE} Annual Computer Software and Applications Conference,\n {COMPSAC} 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2},\n pages = {83--88},\n year = {2015},\n crossref = {DBLP:conf/compsac/2015},\n url = {https://doi.org/10.1109/COMPSAC.2015.8},\n doi = {10.1109/COMPSAC.2015.8},\n timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/compsac/BenghabritGRS15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Benghabrit, W.","Grall, H.","Royer, J.","Sellami, M."],"key":"DBLP:conf/compsac/BenghabritGRS15","id":"DBLP:conf/compsac/BenghabritGRS15","bibbaseid":"benghabrit-grall-royer-sellami-checkingaccountabilitywithaprover-2015","role":"author","urls":{"Paper":"https://doi.org/10.1109/COMPSAC.2015.8"},"downloads":0},"search_terms":["checking","accountability","prover","benghabrit","grall","royer","sellami"],"keywords":[],"authorIDs":[],"dataSources":["8ByZ6cr4Nbwn8jttL"]}