%0 Thesis %1 phd/hal/GonzalezPerez14 %A Perez, Carlos Alberto Gonzalez %D 2014 %K dblp %T Pragmatic model verification. (Vérification pragmatique de modèles).

@phdthesis{phd/hal/GonzalezPerez14, added-at = {2020-07-21T00:00:00.000+0200}, author = {Perez, Carlos Alberto Gonzalez}, biburl = {https://www.bibsonomy.org/bibtex/297f8200f3f6259362118be47a3fba1a1/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01127277}, interhash = {4e6063b15699042b5830ed0ffdc05b00}, intrahash = {97f8200f3f6259362118be47a3fba1a1}, keywords = {dblp}, school = {École des mines de Nantes, France}, timestamp = {2020-07-24T00:53:22.000+0200}, title = {Pragmatic model verification. (Vérification pragmatique de modèles).}, year = 2014 }