alessandro gianola
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Sofort lieferbarThis book is a revised version of the PhD dissertation written by the author at the Free Unive...
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Print on DemandThis book is a revised version of the PhD dissertation written by the author at the Free Universi...
Enterprise Design, Operations, and Computing
Print on DemandThis book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on...
- 1