%0 Conference Paper %1 conf/er/SienaIPSM13 %A Siena, Alberto %A Ingolfo, Silvia %A Perini, Anna %A Susi, Angelo %A Mylopoulos, John %B ER %D 2013 %E Ng, Wilfred %E Storey, Veda C. %E Trujillo, Juan %I Springer %K dblp %P 47-60 %T Automated Reasoning for Regulatory Compliance. %U http://dblp.uni-trier.de/db/conf/er/er2013.html#SienaIPSM13 %V 8217 %@ 978-3-642-41923-2

@inproceedings{conf/er/SienaIPSM13, added-at = {2017-05-25T00:00:00.000+0200}, author = {Siena, Alberto and Ingolfo, Silvia and Perini, Anna and Susi, Angelo and Mylopoulos, John}, biburl = {https://www.bibsonomy.org/bibtex/241a83ea02156ba421804c1d17f6e2378/dblp}, booktitle = {ER}, crossref = {conf/er/2013}, editor = {Ng, Wilfred and Storey, Veda C. and Trujillo, Juan}, ee = {https://doi.org/10.1007/978-3-642-41924-9_5}, interhash = {03309fb5413ca827c02afefaa9efc679}, intrahash = {41a83ea02156ba421804c1d17f6e2378}, isbn = {978-3-642-41923-2}, keywords = {dblp}, pages = {47-60}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:42:12.000+0200}, title = {Automated Reasoning for Regulatory Compliance.}, url = {http://dblp.uni-trier.de/db/conf/er/er2013.html#SienaIPSM13}, volume = 8217, year = 2013 }