Verification of Data-Aware Processes via Satisfiability Modulo Theories
Material type:
Computer fileSeries: Lecture Notes in Business Information ProcessingPublication details: Springer; 2023Edition: 1st ed. 2023ISBN: - 9783031165383
| Item type | Home library | Status | Barcode | |
|---|---|---|---|---|
E-BOOKS
|
EBOOKS | Not for loan | EBK23078 |
There are no comments on this title.
Log in to your account to post a comment.