
Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing) (PDF/EPUB Version)
$19.99
Description
Author: Alessandro Gianola
Series:
Publisher: Springer
Year: 2023
Edition:
Language: English
ISSN: