Fingerprint
Dive into the research topics of 'Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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