Francisco Javier
Cabrerizo Lorite
Investigador en el periodo 2014-2017
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)