Cite
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications.
MLA
Arshad, Hamed, et al. “XACML2mCRL2: Automatic Transformation of XACML Policies into MCRL2 Specifications.” Science of Computer Programming, vol. 232, Jan. 2024, p. N.PAG. EBSCOhost, https://doi.org/10.1016/j.scico.2023.103046.
APA
Arshad, H., Horne, R., Johansen, C., Owe, O., & Willemse, T. A. C. (2024). XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Science of Computer Programming, 232, N.PAG. https://doi.org/10.1016/j.scico.2023.103046
Chicago
Arshad, Hamed, Ross Horne, Christian Johansen, Olaf Owe, and Tim A.C. Willemse. 2024. “XACML2mCRL2: Automatic Transformation of XACML Policies into MCRL2 Specifications.” Science of Computer Programming 232 (January): N.PAG. doi:10.1016/j.scico.2023.103046.