Publications by the researcher in collaboration with Héctor José Pérez Morago (3)

2016

  1. Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models

    Frontiers in Artificial Intelligence and Applications

  2. Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models

    THE 15TH INTERNATIONAL CONFERENCE ON INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS, AND TECHNIQUES (SOMET 16)