@incollection{Martínez-Cruz18,
author = {Alfonso Martínez-Cruz and Ignacio Algredo-Badillo and Alejandro Medina-
Santiago and Kelsey Ramírez-Gutiérrez and Prometeo Cortés-Antonio and 
Ricardo Barrón-Fernández and René Cumplido-Parra and Kwang-Ting
Cheng},
title = {Functional Verification of Digital Systems Using Meta-Heuristic Algorithms},
booktitle = {Digital Systems},
publisher = {IntechOpen},
address = {Rijeka},
year = {2018},
editor = {Vahid Asadpour},
chapter = {5},
doi = {10.5772/intechopen.80048},
url = {https://doi.org/10.5772/intechopen.80048}
}