Author:
Borrego Diana,Gómez-López María Teresa
Publisher
Springer International Publishing
Reference21 articles.
1. van der Aalst, W.: Formalization and verification of event-driven process chains. Inf. Softw. Technol. 41(10), 639–650 (1999).
https://doi.org/10.1016/S0950-5849(99)00016-6
2. van der Aalst, W.M.P.: Process-aware information systems: design, enactment, and analysis. Wiley Encyclopedia of Computer Science and Engineering. Wiley, New Jersey (2008)
3. Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 1–11. San Diego, California (1988)
4. de la Banda, M.G., Stuckey, P.J., Wazny, J.: Finding all minimal unsatisfiable subsets. In: PPDP ’03: Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming, pp. 32–43. ACM Press (2003)
5. Borrego, D., Eshuis, R., Gómez-López, M.T.: Diagnosing correctness of semantic workflow models. Data Knowl. Eng. 87, 167–184 (2013).
https://doi.org/10.1016/j.datak.2013.04.008
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献