APA-Zitierstil (7. Ausg.)

Gianola, A. (2023). Verification of Data-Aware Processes via Satisfiability Modulo Theories (1st ed. 2023.). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-42746-6

Chicago-Zitierstil (17. Ausg.)

Gianola, Alessandro. Verification of Data-Aware Processes via Satisfiability Modulo Theories. 1st ed. 2023. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-42746-6.

MLA-Zitierstil (9. Ausg.)

Gianola, Alessandro. Verification of Data-Aware Processes via Satisfiability Modulo Theories. 1st ed. 2023. Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-42746-6.