Esta web utiliza cookies propias y de terceros con fines técnicos y de análisis del tráfico. Puedes ver nuestra política de cookies aquí. Si continuas navegando, entendemos que aceptas su uso. Aceptar
Autora: Inmaculada Concepción Aparicio Maíz.
Título: "WS-CDL to Timed Automata Translation", en él se explica la traducción de WS-CDL a Autómatas temporizados.