Author:
Maggi Fabrizio Maria,Montali Marco,Peñaloza Rafael,Alman Anti
Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;G De Giacomo,2014
2. De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, 3–9 August 2013, pp. 854–860 (2013). http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997
3. De Masellis, R., Maggi, F.M., Montali, M.: Monitoring data-aware business constraints with finite state automata. In: International Conference on Software and Systems Process 2014, ICSSP 2014, Nanjing, China, 26–28 May 2014, pp. 134–143 (2014). https://doi.org/10.1145/2600821.2600835
4. Lecture Notes in Computer Science;C Di Ciccio,2015
5. Di Ciccio, C., Maggi, F.M., Montali, M., Mendling, J.: Resolving inconsistencies and redundancies in declarative process models. Inf. Syst. 64, 425–446 (2017). https://doi.org/10.1016/j.is.2016.09.005
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献