Author:
Emilia Cambronero M.,Díaz Gregorio,Valero Valentín,Martínez Enrique
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference31 articles.
1. A. Ankolenkar et al., DAML-S: web service description for the semantic web, in: Proc. First International Semantic Web Conference, 2002, pp. 348–363.
2. A. Arkin et al., Web Service Choreography Interface (WSCI) 1.0. .
3. A. Arkin et al., Web Services Business Process Execution Language Version 2.0, December 2004. .
4. R. Alur, D. Dill, Automata for modeling real-time systems, in: ICALP, 1990, pp. 322–335.
5. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献