APA (7th ed.) Citation

Stachtiari, E., & Katsaros, P. (2018). Compositional execution semantics for business process verification. The Journal of systems and software, 137, 217-238. https://doi.org/10.1016/j.jss.2017.11.003

Chicago Style (17th ed.) Citation

Stachtiari, Emmanouela, and Panagiotis Katsaros. "Compositional Execution Semantics for Business Process Verification." The Journal of Systems and Software 137 (2018): 217-238. https://doi.org/10.1016/j.jss.2017.11.003.

MLA (9th ed.) Citation

Stachtiari, Emmanouela, and Panagiotis Katsaros. "Compositional Execution Semantics for Business Process Verification." The Journal of Systems and Software, vol. 137, 2018, pp. 217-238, https://doi.org/10.1016/j.jss.2017.11.003.