Author:
Estañol Montserrat,Sancho Maria-Ribera,Teniente Ernest
Publisher
Springer International Publishing
Reference18 articles.
1. Bagheri Hariri, B., et al.: Verification of description logic knowledge and action bases. In: Raedt, L.D., et al. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 103–108. IOS Press (2012)
2. Bagheri Hariri, B., et al.: Verification of relational data-centric dynamic systems with external services. In: PODS, pp. 163–174. ACM (2013)
3. Lecture Notes in Computer Science;D Calvanese,2012
4. Calvanese, D., Montali, M., Estañol, M., Teniente, E.: Verifiable UML artifact-centric business process models. In: Li, J., Wang, X.S., Garofalakis, M.N., Soboroff, I., Suel, T., Wang, M. (eds.) CIKM 2014, pp. 1289–1298. ACM (2014)
5. Choppy, C., Klai, K., Zidani, H.: Formal verification of UML state diagrams: a Petri net based approach. ACM SIGSOFT Soft. Eng. Notes 36(1), 1–8 (2011)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献