Author:
Bennaceur Amel,Chilton Chris,Isberner Malte,Jonsson Bengt
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;G.S. Blair,2011
2. Bersani, M.M., Cavallaro, L., Frigeri, A., Pradella, M., Rossi, M.: SMT-based verification of ltl specification with integer constraints and its application to runtime checking of service substitutability. In: Proc. SEFM, pp. 244–254. IEEE (2010)
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Schneider, P.: The Description Logic Handbook. Cambridge University Press (2003)
4. Bertoli, P., Pistore, M., Traverso, P.: Automated composition of web services via planning in asynchronous domains. Artificial Intelligence 174(3-4), 316–361 (2010)
5. Bhaduri, P., Ramesh, S.: Interface synthesis and protocol conversion. Form. Asp. Comput. 20(2), 205–224 (2008)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献