Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts.

Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin

Browse the full IFM paper archive.