@inproceedings{riganelli2017verifying,
  title={Verifying policy enforcers},
  author={Riganelli, Oliviero and Micucci, Daniela and Mariani, Leonardo and Falcone, Yli{\`e}s},
  booktitle={Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings 17},
  pages={241--258},
  year={2017},
  organization={Springer International Publishing}
}

{"_id":"vwyx3sMN5TbHrdSrg","bibbaseid":"riganelli-micucci-mariani-falcone-verifyingpolicyenforcers-2017","author_short":["Riganelli, O.","Micucci, D.","Mariani, L.","Falcone, Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Verifying policy enforcers","author":[{"propositions":[],"lastnames":["Riganelli"],"firstnames":["Oliviero"],"suffixes":[]},{"propositions":[],"lastnames":["Micucci"],"firstnames":["Daniela"],"suffixes":[]},{"propositions":[],"lastnames":["Mariani"],"firstnames":["Leonardo"],"suffixes":[]},{"propositions":[],"lastnames":["Falcone"],"firstnames":["Yliès"],"suffixes":[]}],"booktitle":"Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings 17","pages":"241–258","year":"2017","organization":"Springer International Publishing","bibtex":"@inproceedings{riganelli2017verifying,\n title={Verifying policy enforcers},\n author={Riganelli, Oliviero and Micucci, Daniela and Mariani, Leonardo and Falcone, Yli{\\`e}s},\n booktitle={Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings 17},\n pages={241--258},\n year={2017},\n organization={Springer International Publishing}\n}\n\n","author_short":["Riganelli, O.","Micucci, D.","Mariani, L.","Falcone, Y."],"key":"riganelli2017verifying","id":"riganelli2017verifying","bibbaseid":"riganelli-micucci-mariani-falcone-verifyingpolicyenforcers-2017","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/RnAwt25djnAY6HRPZ","dataSources":["jPDax8DpaqZLsXJY4"],"keywords":[],"search_terms":["verifying","policy","enforcers","riganelli","micucci","mariani","falcone"],"title":"Verifying policy enforcers","year":2017}