Armando, A., & Ponta, S. E. (2014). Model checking authorization requirements in business processes. Computers & security, 40, 1-22. https://doi.org/10.1016/j.cose.2013.10.002
Chicago Style (17th ed.) CitationArmando, Alessandro, and Serena Elisa Ponta. "Model Checking Authorization Requirements in Business Processes." Computers & Security 40 (2014): 1-22. https://doi.org/10.1016/j.cose.2013.10.002.
MLA (9th ed.) CitationArmando, Alessandro, and Serena Elisa Ponta. "Model Checking Authorization Requirements in Business Processes." Computers & Security, vol. 40, 2014, pp. 1-22, https://doi.org/10.1016/j.cose.2013.10.002.
Warning: These citations may not always be 100% accurate.