Citations refer to the original publication, not to a Scieee localized version.
Roig Mansilla, O., Cortadella, J., & Pastor Llorens, E. (1995). Hierarchical gate-level verification of speed-independent circuits. Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/WCADM.1995.514650
Roig Mansilla, Oriol, et al. Hierarchical gate-level verification of speed-independent circuits. Institute of Electrical and Electronics Engineers (IEEE), 1995. https://doi.org/10.1109/WCADM.1995.514650.
Roig Mansilla, Oriol, Jordi Cortadella, and Enric Pastor Llorens. Hierarchical gate-level verification of speed-independent circuits. Institute of Electrical and Electronics Engineers (IEEE), 1995. https://doi.org/10.1109/WCADM.1995.514650.
Roig Mansilla, O., Cortadella, J. and Pastor Llorens, E. (1995) Hierarchical gate-level verification of speed-independent circuits. Institute of Electrical and Electronics Engineers (IEEE). Available at: https://doi.org/10.1109/WCADM.1995.514650.
O. Roig Mansilla, J. Cortadella, and E. Pastor Llorens, “Hierarchical gate-level verification of speed-independent circuits,” Institute of Electrical and Electronics Engineers (IEEE), 1995, doi: 10.1109/WCADM.1995.514650.
@misc{roigmansilla1995hierarchical,
author = {Roig Mansilla, Oriol and Cortadella, Jordi and Pastor Llorens, Enric},
title = {Hierarchical gate-level verification of speed-independent circuits},
year = {1995},
pages = {128--137},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
doi = {10.1109/WCADM.1995.514650},
url = {https://doi.org/10.1109/WCADM.1995.514650}
}
The source metadata has no journal or volume. Add them from the original publication if your citation needs them.
