TY - THES A3 - Capel Tuñón, Manuel Isidoro AU - Mendoza Morales, Luis Eduardo A4 - Universidad de Granada. Departamento de Lenguajes y Sistemas Informáticos PY - 2011 SN - 9788469444573 UR - http://hdl.handle.net/10481/18419 LA - spa PB - Granada: Universidad de Granada KW - Ingeniería del software KW - Software abierto KW - Procesos de negocio KW - Business processes TI - Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos M3 - info:eu-repo/semantics/doctoralThesis ER -