Static analysis of featured transition systems.

Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini

Browse the full SPLC paper archive.