TY  - DATA
AU  - Alessandro Gianola
TI  - Verification of Data-Aware Processes via Satisfiability Modulo Theories
T2  - Lecture Notes in Business Information Processing
SN  - 9783031165383
PB  - Springer
KW  - Business Informatics
KW  - Computer Science
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-031-42746-6
ER  -