Author:
De Giacomo Giuseppe,Dumas Marlon,Maggi Fabrizio Maria,Montali Marco
Publisher
Springer International Publishing
Reference21 articles.
1. van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - Research and Development 23 (2009)
2. Awad, A., Sakr, S.: On efficient processing of BPMN-Q queries. Computers in Industry 63(9) (2012)
3. Carmona, J.: Projection approaches to process mining using region-based techniques. Data Min. Knowl. Discov. 24(1) (2012)
4. Lecture Notes in Computer Science;G De Giacomo,2014
5. De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI). AAAI (2013)
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献