@misc{10481/18419, year = {2011}, url = {http://hdl.handle.net/10481/18419}, organization = {Tesis Univ. Granada. Departamento de Lenguajes y Sistemas Informáticos. Leída el 30 de junio de 2011}, publisher = {Granada: Universidad de Granada}, keywords = {Ingeniería del software}, keywords = {Software abierto}, keywords = {Procesos de negocio}, keywords = {Business processes}, title = {Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos}, author = {Mendoza Morales, Luis Eduardo}, }