%0 Conference Paper %1 journals/corr/KatzP14 %A Katz, Gal %A Peled, Doron A. %B INFINITY %D 2013 %E Holík, Lukás %E Clemente, Lorenzo %K dblp %P 70-84 %T Synthesis of Parametric Programs using Genetic Programming and Model Checking. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs140.html#KatzP14 %V 140

@inproceedings{journals/corr/KatzP14, added-at = {2018-09-12T00:00:00.000+0200}, author = {Katz, Gal and Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/2d7aea82bd11c383323f250e8d83ac7b2/dblp}, booktitle = {INFINITY}, crossref = {journals/corr/HolikC14}, editor = {Holík, Lukás and Clemente, Lorenzo}, ee = {http://arxiv.org/abs/1402.6785}, interhash = {c0c10bca5851fb000b8341619b02ab99}, intrahash = {d7aea82bd11c383323f250e8d83ac7b2}, keywords = {dblp}, pages = {70-84}, series = {EPTCS}, timestamp = {2020-10-27T13:08:06.000+0100}, title = {Synthesis of Parametric Programs using Genetic Programming and Model Checking.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs140.html#KatzP14}, volume = 140, year = 2013 }