M. Saqib Nawaz, Meng Sun 0002. A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. In Proceedings of the 2018 2nd International Conference on Big Data and Internet of Things, BDIOT 2018, Beijing, China, October 24-26, 2018. pages 186-190, ACM, 2018. [doi]
@inproceedings{Nawaz018-0,
title = {A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS},
author = {M. Saqib Nawaz and Meng Sun 0002},
year = {2018},
doi = {10.1145/3289430.3289449},
url = {https://doi.org/10.1145/3289430.3289449},
researchr = {https://researchr.org/publication/Nawaz018-0},
cites = {0},
citedby = {0},
pages = {186-190},
booktitle = {Proceedings of the 2018 2nd International Conference on Big Data and Internet of Things, BDIOT 2018, Beijing, China, October 24-26, 2018},
publisher = {ACM},
isbn = {978-1-4503-6519-2},
}