Static analysis of featured transition systems: [research]

Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini. Static analysis of featured transition systems: [research]. In Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thüm, Tewfik Ziadi, editors, Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019. ACM, 2019. [doi]

Authors

Maurice H. ter Beek

This author has not been identified. Look up 'Maurice H. ter Beek' in Google

Ferruccio Damiani

This author has not been identified. Look up 'Ferruccio Damiani' in Google

Michael Lienhardt

This author has not been identified. Look up 'Michael Lienhardt' in Google

Franco Mazzanti

This author has not been identified. Look up 'Franco Mazzanti' in Google

Luca Paolini

This author has not been identified. It may be one of the following persons: Look up 'Luca Paolini' in Google