%0 Conference Paper %1 conf/models/FaunesCBSC13 %A Faunes, Martin %A Cadavid, Juan José %A Baudry, Benoit %A Sahraoui, Houari A. %A Combemale, Benoît %B MoDELS %D 2013 %E Moreira, Ana %E Schätz, Bernhard %E Gray, Jeff %E Vallecillo, Antonio %E Clarke, Peter J. %I Springer %K dblp %P 187-202 %T Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples. %U http://dblp.uni-trier.de/db/conf/models/models2013.html#FaunesCBSC13 %V 8107 %@ 978-3-642-41532-6

@inproceedings{conf/models/FaunesCBSC13, added-at = {2017-05-25T00:00:00.000+0200}, author = {Faunes, Martin and Cadavid, Juan José and Baudry, Benoit and Sahraoui, Houari A. and Combemale, Benoît}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a50ed3ca88f72c8d75eb7c67fa1ae57e/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2013}, editor = {Moreira, Ana and Schätz, Bernhard and Gray, Jeff and Vallecillo, Antonio and Clarke, Peter J.}, ee = {https://doi.org/10.1007/978-3-642-41533-3_12}, interhash = {90faa1ae376deda85ef01882371bf593}, intrahash = {a50ed3ca88f72c8d75eb7c67fa1ae57e}, isbn = {978-3-642-41532-6}, keywords = {dblp}, pages = {187-202}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:52:06.000+0200}, title = {Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples.}, url = {http://dblp.uni-trier.de/db/conf/models/models2013.html#FaunesCBSC13}, volume = 8107, year = 2013 }