Publicacions en què col·labora amb Roberto Béan Castelló (1)

2016

  1. 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)