Original language | English |
---|---|
Pages (from-to) | 1069-1089 |
Number of pages | 21 |
Journal | Software Engineering, IEEE Transactions on |
Volume | 39 |
Issue number | 8 |
DOIs | |
Publication status | Published - 1 Jan 2013 |
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 journal › Article › peer-review