Citations refer to the original publication, not to a Scieee localized version.
Fernández Fernández, F. V., & Rodríguez Vázquez, Á. B. (1996). Symbolic analysis tools-the state of the art. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISCAS.1996.542145
Fernández Fernández, Francisco Vidal, and Ángel Benito Rodríguez Vázquez. Symbolic analysis tools-the state of the art. Institute of Electrical and Electronics Engineers, 1996. https://doi.org/10.1109/ISCAS.1996.542145.
Fernández Fernández, Francisco Vidal, and Ángel Benito Rodríguez Vázquez. Symbolic analysis tools-the state of the art. Institute of Electrical and Electronics Engineers, 1996. https://doi.org/10.1109/ISCAS.1996.542145.
Fernández Fernández, F. V. and Rodríguez Vázquez, Á. B. (1996) Symbolic analysis tools-the state of the art. Institute of Electrical and Electronics Engineers. Available at: https://doi.org/10.1109/ISCAS.1996.542145.
F. V. Fernández Fernández and Á. B. Rodríguez Vázquez, “Symbolic analysis tools-the state of the art,” Institute of Electrical and Electronics Engineers, 1996, doi: 10.1109/ISCAS.1996.542145.
@misc{fernandezfernandez1996symbolic,
author = {Fernández Fernández, Francisco Vidal and Rodríguez Vázquez, Ángel Benito},
title = {Symbolic analysis tools-the state of the art},
year = {1996},
publisher = {Institute of Electrical and Electronics Engineers},
doi = {10.1109/ISCAS.1996.542145},
url = {https://doi.org/10.1109/ISCAS.1996.542145}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.