Author:
Holík Lukáš,Isberner Malte,Jonsson Bengt
Publisher
Springer International Publishing
Reference22 articles.
1. Bauer, S., Larsen, K., Legay, A., Nyman, U., Wasowski, A.: A Modal Specification Theory for Components with Data. Sci. Comput. Program. 83, 106–128 (2014)
2. Lecture Notes in Computer Science;A Bennaceur,2013
3. Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proc. of VLDB 2005. VLDB Endowment (2005)
4. Bertoli, P., Pistore, M., Traverso, P.: Automated Composition of Web Services via Planning in Asynchronous Domains. Artif. Intell. 174(3–4) (2010)
5. Bhaduri, P., Ramesh, S.: Interface Synthesis and Protocol Conversion. Form. Asp. Comput. 20(2), 205–224 (2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献