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-Zitierstil (17. Ausg.)Stachtiari, Emmanouela, und 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-Zitierstil (9. Ausg.)Stachtiari, Emmanouela, und 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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.