Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

Created by W.Langdon from gp-bibliography.bib Revision:1.4868

@InProceedings{Katz:2008:TACAS,
}

Genetic Programming entries for Gal Katz Doron A Peled

Citations