Publicaciones en las que colabora con Javier Fabra Caro (2)

2012

  1. Model Checking Analysis of Semantically Annotated Business Processes = Modelo Comprobación de Análisis de Procesos de Negocio anotados semánticamente

    IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans., Vol. 2, Núm. 42, pp. 854-867