%0 Conference Paper %1 conf/dsd/IbarraMLHH02 %A Ibarra, Aitor %A Mendías, José M. %A Lanchares, Juan %A Hidalgo, José Ignacio %A Hermida, Román %B DSD %D 2002 %I IEEE Computer Society %K dblp %P 252-258 %T Optimization of Equational Specifications Using Genetic Techniques. %U http://dblp.uni-trier.de/db/conf/dsd/dsd2002.html#IbarraMLHH02 %@ 0-7695-1790-0

@inproceedings{conf/dsd/IbarraMLHH02, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ibarra, Aitor and Mendías, José M. and Lanchares, Juan and Hidalgo, José Ignacio and Hermida, Román}, biburl = {https://www.bibsonomy.org/bibtex/29d5e607ce6cd8a846f14fb5d47263a1d/dblp}, booktitle = {DSD}, crossref = {conf/dsd/2002}, ee = {https://doi.ieeecomputersociety.org/10.1109/DSD.2002.1115376}, interhash = {72515cfc5452589d6bc06525426a2c8f}, intrahash = {9d5e607ce6cd8a846f14fb5d47263a1d}, isbn = {0-7695-1790-0}, keywords = {dblp}, pages = {252-258}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:05:42.000+0200}, title = {Optimization of Equational Specifications Using Genetic Techniques.}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2002.html#IbarraMLHH02}, year = 2002 }