Author:
Li Haizhou,Pinet François,Toumani Farouk
Publisher
Springer International Publishing
Reference17 articles.
1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases (1995)
2. Lecture Notes in Computer Science;C. Baier,1996
3. Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. DKE 58(3), 327–357 (2006)
4. Berardi, D., Cheikh, F., Giacomo, G.D., Patrizi, F.: Automatic service composition via simulation. IJFCS 19(2), 429–451 (2008)
5. Edmund, M.: Clarke and Bernd-Holger Schlingloff. Model checking. In: Handbook of Automated Reasoning, pp. 1635–1790. Elsevier and MIT Press (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献