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

doi:10.1109/TSE.2012.86

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

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1069-1089
Number of pages	21
Journal	Software Engineering, IEEE Transactions on
Volume	39
Issue number	8
DOIs	https://doi.org/10.1109/TSE.2012.86
Publication status	Published - 1 Jan 2013

Access to Document

10.1109/TSE.2012.86

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6389685

Cite this

@article{ea193e45acfe4d16aca2f41e81cd7e72,

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

author = "A. Classen and M. Cordy and P.-Y. Schobbens and P. Heymans and A. Legay and J.-F. Raskin",

year = "2013",

month = jan,

day = "1",

doi = "10.1109/TSE.2012.86",

language = "English",

volume = "39",

pages = "1069--1089",

journal = "Software Engineering, IEEE Transactions on",

issn = "0098-5589",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "8",

}

TY - JOUR

T1 - Featured transition systems

T2 - Foundations for verifying variability- intensive systems and their application to LTL model checking

AU - Classen, A.

AU - Cordy, M.

AU - Schobbens, P.-Y.

AU - Heymans, P.

AU - Legay, A.

AU - Raskin, J.-F.

PY - 2013/1/1

Y1 - 2013/1/1

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84883057503&partnerID=8YFLogxK

U2 - 10.1109/TSE.2012.86

DO - 10.1109/TSE.2012.86

M3 - Article

AN - SCOPUS:84883057503

SN - 0098-5589

VL - 39

SP - 1069

EP - 1089

JO - Software Engineering, IEEE Transactions on

JF - Software Engineering, IEEE Transactions on

IS - 8

ER -

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

Access to Document

Other files and links

Cite this