CARLOS
CERRADA SOMOLINOS
Catedrático de Universidad
Roberto
Béan Castelló
Publicaciones en las que colabora con 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)