CARLOS
CERRADA SOMOLINOS
Catedrático de Universidad

Roberto
Béan Castelló
Publikationen, an denen er mitarbeitet Roberto Béan Castelló (1)
2016
-
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)