Automating correctness verification of artifact-centric business process models

• Autores: Diana Borrego Núñez, Rafael Martínez Gasca, María Teresa Gómez López
• Localización: Information and software technology, ISSN 0950-5849, Nº 62, 2015, págs. 187-197
• Idioma: inglés
• Texto completo no disponible (Saber más ...)