Publikationen, an denen er mitarbeitet CARLOS CERRADA SOMOLINOS (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)