A Method for Model Checking Feature Interactions.

Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou

Browse the full ICSoft paper archive.