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)