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

Search results