Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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