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
Yazar
Roman, Adam. author.
Format:
Electronic Resources
Alıntı:
strategies, which is based on recent advances in psychology, economics, system sciences and logic. Chapter 1
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