@phdthesis{mazo:tel-00707351, TITLE = {{A Generic Approach for Automated Verification of Product Line Models}}, AUTHOR = {Mazo, Raul}, URL = {https://theses.hal.science/tel-00707351}, SCHOOL = {{Universit{\'e} Panth{\'e}on-Sorbonne - Paris I}}, YEAR = {2011}, MONTH = Nov, KEYWORDS = {product line engineering ; ing{\'e}nierie de lignes de produits ; v{\'e}rification}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-00707351/file/Thesis-RaulMAZO-18-05-2012.pdf}, HAL_ID = {tel-00707351}, HAL_VERSION = {v1}, }