Normal view
MARC view
Business information services (Topical Term)
Machine generated authority record
Work cat.: (OSt)15865: Gianola, Alessandro. 39378, Verification of Data-Aware Processes via Satisfiability Modulo Theories, 2023