Featured transition systems: Foundations for verifying variability- intensive systems and their application to LTL model checking

A. Classen, M. Cordy, P.-Y. Schobbens, P. Heymans, A. Legay, J.-F. Raskin

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)1069-1089
Number of pages21
JournalSoftware Engineering, IEEE Transactions on
Issue number8
Publication statusPublished - 1 Jan 2013

Cite this