TY  - RPRT
TI  - Verification for Reliable Product Lines
AU  - Maxime Cordy
AU  - Patrick Heymans
AU  - Pierre-Yves Schobbens
AU  - Amir Molzam Sharifloo
AU  - Carlo Ghezzi
AU  - Axel Legay
PY  - 2013
UR  - https://arxiv.org/abs/1311.1343
ID  - 1311.1343
ER  -