%0 Conference Paper %1 conf/rv/RiganelliMMF17 %A Riganelli, Oliviero %A Micucci, Daniela %A Mariani, Leonardo %A Falcone, Yliès %B RV %D 2017 %E Lahiri, Shuvendu K. %E Reger, Giles %I Springer %K dblp %P 241-258 %T Verifying Policy Enforcers. %U http://dblp.uni-trier.de/db/conf/rv/rv2017.html#RiganelliMMF17 %V 10548 %@ 978-3-319-67531-2

@inproceedings{conf/rv/RiganelliMMF17, added-at = {2017-09-06T00:00:00.000+0200}, author = {Riganelli, Oliviero and Micucci, Daniela and Mariani, Leonardo and Falcone, Yliès}, biburl = {https://www.bibsonomy.org/bibtex/29cc1518e0267ffec3b8d156b5e8ddf62/dblp}, booktitle = {RV}, crossref = {conf/rv/2017}, editor = {Lahiri, Shuvendu K. and Reger, Giles}, ee = {https://doi.org/10.1007/978-3-319-67531-2_15}, interhash = {ad42160b85b4177b1d357e91e0aa3172}, intrahash = {9cc1518e0267ffec3b8d156b5e8ddf62}, isbn = {978-3-319-67531-2}, keywords = {dblp}, pages = {241-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:15:25.000+0200}, title = {Verifying Policy Enforcers.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2017.html#RiganelliMMF17}, volume = 10548, year = 2017 }