Verification of Data-Aware Processes Via Satisfiability Modulo Theories

MLA

Gianola, Alessandro. Verification of Data-aware Processes Via Satisfiability Modulo Theories. Cham: Springer, 2023.

APA

Gianola, A. (2023). Verification of Data-Aware Processes Via Satisfiability Modulo Theories. Cham: Springer.

Chicago

Gianola, Alessandro. Verification of Data-Aware Processes Via Satisfiability Modulo Theories. Cham: Springer, 2023.