Conceptual framework for business processes compositional verification

• Luis E. Mendoza ^[1] ; Manuel I. Capel ^[2] ; María A. Pérez ^[1]
  1. [1] Universidad Simón Bolívar

     Universidad Simón Bolívar

     Venezuela

     
  2. [2] Universidad de Granada

     Universidad de Granada

     Granada, España

     
• Localización: Information and software technology, ISSN 0950-5849, Vol. 54, Nº 2, 2012, págs. 149-161
• Idioma: inglés
• DOI: 10.1016/j.infsof.2011.08.004
• Enlaces
  • Texto completo