%0 Journal Article %1 journals/jcss/ArmandoGMP12 %A Armando, Alessandro %A Giunchiglia, Enrico %A Maratea, Marco %A Ponta, Serena Elisa %D 2012 %J J. Comput. Syst. Sci. %K dblp %N 1 %P 119-141 %T An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. %U http://dblp.uni-trier.de/db/journals/jcss/jcss78.html#ArmandoGMP12 %V 78

@article{journals/jcss/ArmandoGMP12, added-at = {2022-10-02T00:00:00.000+0200}, author = {Armando, Alessandro and Giunchiglia, Enrico and Maratea, Marco and Ponta, Serena Elisa}, biburl = {https://www.bibsonomy.org/bibtex/2d92ecb854de2c7af32c013a2f77e1328/dblp}, ee = {https://doi.org/10.1016/j.jcss.2011.02.015}, interhash = {e9a6f9f77a623c71842fd25bba3b5d9d}, intrahash = {d92ecb854de2c7af32c013a2f77e1328}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 1, pages = {119-141}, timestamp = {2024-04-08T19:13:19.000+0200}, title = {An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss78.html#ArmandoGMP12}, volume = 78, year = 2012 }