%0 Thesis %1 phd/hal/Mazo11a %A Mazo, Raúl %D 2011 %K %T A Generic Approach for Automated Verification of Product Line Models.

@phdthesis{phd/hal/Mazo11a, added-at = {2023-12-13T09:47:14.000+0100}, author = {Mazo, Raúl}, biburl = {https://www.bibsonomy.org/bibtex/21ddbf1c0c4b694cf165605ba7f20cfa5/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00707351}, interhash = {d1c7afcd4ce780ec1844287e7aed7c23}, intrahash = {1ddbf1c0c4b694cf165605ba7f20cfa5}, keywords = {}, school = {Pantheon-Sorbonne University, Paris, France}, timestamp = {2023-12-13T09:47:14.000+0100}, title = {A Generic Approach for Automated Verification of Product Line Models.}, year = 2011 }