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
• DOI: 10.1016/j.infsof.2015.02.010
• Texto completo no disponible (Saber más ...)