%0 Conference Paper %1 conf/sacmat/SantosPR16 %A dos Santos, Daniel Ricardo %A Ponta, Serena Elisa %A Ranise, Silvio %B SACMAT %D 2016 %E Wang, X. Sean %E Bauer, Lujo %E Kerschbaum, Florian %I ACM %K dblp %P 89-99 %T Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability. %U http://dblp.uni-trier.de/db/conf/sacmat/sacmat2016.html#SantosPR16 %@ 978-1-4503-3802-8

@inproceedings{conf/sacmat/SantosPR16, added-at = {2019-09-25T00:00:00.000+0200}, author = {dos Santos, Daniel Ricardo and Ponta, Serena Elisa and Ranise, Silvio}, biburl = {https://www.bibsonomy.org/bibtex/2073fc01c5c0dba5b61a6699b0c7d2d14/dblp}, booktitle = {SACMAT}, crossref = {conf/sacmat/2016}, editor = {Wang, X. Sean and Bauer, Lujo and Kerschbaum, Florian}, ee = {https://doi.org/10.1145/2914642.2914649}, interhash = {812283830a43103b02b552413731b3b0}, intrahash = {073fc01c5c0dba5b61a6699b0c7d2d14}, isbn = {978-1-4503-3802-8}, keywords = {dblp}, pages = {89-99}, publisher = {ACM}, timestamp = {2019-09-26T13:34:03.000+0200}, title = {Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem: Scalability and Reusability.}, url = {http://dblp.uni-trier.de/db/conf/sacmat/sacmat2016.html#SantosPR16}, year = 2016 }