Featured transition systems : Foundations for verifying variability- intensive systems and their application to LTL model checking. / Classen, A.; Cordy, M.; Schobbens, P.-Y.; Heymans, P.; Legay, A.; Raskin, J.-F.

In: Software Engineering, IEEE Transactions on, Vol. 39, No. 8, 01.01.2013, p. 1069-1089.

Research output: Contribution to journalArticle

Published
  • A. Classen
  • M. Cordy
  • P.-Y. Schobbens
  • P. Heymans
  • A. Legay
  • J.-F. Raskin
Original languageEnglish
Pages (from-to)1069-1089
Number of pages21
JournalSoftware Engineering, IEEE Transactions on
Volume39
Issue number8
DOIs
Publication statusPublished - 1 Jan 2013
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 17790131