Author:
Bagheri Hariri Babak,Calvanese Diego,De Giacomo Giuseppe,De Masellis Riccardo,Felli Paolo
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: A framework for lightweight interacting workflow processes. Int. J. of Cooperative Information Systems 10(4), 443–481 (2001)
2. Abiteboul, S., Bourhis, P., Galland, A., Marinoiu, B.: The AXML artifact model. In: Proc. of TIME 2009, pp. 11–17 (2009)
3. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publ. Co., Reading (1995)
4. Baier, C., Katoen, J.P., Guldstrand Larsen, K.: Principles of Model Checking. The MIT Press, Cambridge (2008)
5. Lecture Notes in Computer Science;C. Beeri,1981
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献