@article{DBLP:journals/corr/abs-1804-08917,
  author    = {Ian Cassar and
               Adrian Francalanza and
               Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {Developing Theoretical Foundations for Runtime Enforcement},
  journal   = {CoRR},
  volume    = {abs/1804.08917},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.08917},
  archivePrefix = {arXiv},
  eprint    = {1804.08917},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-08917},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Z5juJxsWHZTZXy88W","bibbaseid":"cassar-francalanza-aceto-inglfsdttir-developingtheoreticalfoundationsforruntimeenforcement-2018","downloads":0,"creationDate":"2019-03-14T12:11:49.235Z","title":"Developing Theoretical Foundations for Runtime Enforcement","author_short":["Cassar, I.","Francalanza, A.","Aceto, L.","Ingólfsdóttir, A."],"year":2018,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Ian"],"propositions":[],"lastnames":["Cassar"],"suffixes":[]},{"firstnames":["Adrian"],"propositions":[],"lastnames":["Francalanza"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]}],"title":"Developing Theoretical Foundations for Runtime Enforcement","journal":"CoRR","volume":"abs/1804.08917","year":"2018","url":"http://arxiv.org/abs/1804.08917","archiveprefix":"arXiv","eprint":"1804.08917","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1804-08917","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1804-08917,\n author = {Ian Cassar and\n Adrian Francalanza and\n Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir},\n title = {Developing Theoretical Foundations for Runtime Enforcement},\n journal = {CoRR},\n volume = {abs/1804.08917},\n year = {2018},\n url = {http://arxiv.org/abs/1804.08917},\n archivePrefix = {arXiv},\n eprint = {1804.08917},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-1804-08917},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Cassar, I.","Francalanza, A.","Aceto, L.","Ingólfsdóttir, A."],"key":"DBLP:journals/corr/abs-1804-08917","id":"DBLP:journals/corr/abs-1804-08917","bibbaseid":"cassar-francalanza-aceto-inglfsdttir-developingtheoreticalfoundationsforruntimeenforcement-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1804.08917"},"downloads":0},"search_terms":["developing","theoretical","foundations","runtime","enforcement","cassar","francalanza","aceto","ingólfsdóttir"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}