![](/img/cover-not-exists.png)
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
Classen, Andreas, Cordy, Maxime, Schobbens, Pierre-Yves, Heymans, Patrick, Legay, Axel, Raskin, Jean-FrancoisVolume:
39
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/tse.2012.86
Date:
August, 2013
File:
PDF, 4.31 MB
english, 2013