Yazar
Ceravolo, Paolo. editor. (orcid)0000-0002-4519-0173
Format:
Electronic Resources
Alıntı:
trace abstraction -- Mining Local Process Models and their Correlations -- A linear temporal logic model
View Other Search Results
Yazar
Reinhartz-Berger, Iris. editor. (orcid)0000-0002-1419-4905
Format:
Electronic Resources
Alıntı:
Understandability of Declarative Process Models -- Logic based Look-ahead for the Execution of Multi-Perspective
View Other Search Results