Citations refer to the original publication, not to a Scieee localized version.
Cortadella, J., Costa Gorgônio, K., Xia, F., & Yakovlev, A. (2005). Automating synthesis of asynchronous communication mechanisms. Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/ACSD.2005.5
Cortadella, Jordi, et al. Automating synthesis of asynchronous communication mechanisms. Institute of Electrical and Electronics Engineers (IEEE), 2005. https://doi.org/10.1109/ACSD.2005.5.
Cortadella, Jordi, Kyller Costa Gorgônio, Fei Xia, and Alex Yakovlev. Automating synthesis of asynchronous communication mechanisms. Institute of Electrical and Electronics Engineers (IEEE), 2005. https://doi.org/10.1109/ACSD.2005.5.
Cortadella, J. et al. (2005) Automating synthesis of asynchronous communication mechanisms. Institute of Electrical and Electronics Engineers (IEEE). Available at: https://doi.org/10.1109/ACSD.2005.5.
J. Cortadella, K. Costa Gorgônio, F. Xia, and A. Yakovlev, “Automating synthesis of asynchronous communication mechanisms,” Institute of Electrical and Electronics Engineers (IEEE), 2005, doi: 10.1109/ACSD.2005.5.
@misc{cortadella2005automating,
author = {Cortadella, Jordi and Costa Gorgônio, Kyller and Xia, Fei and Yakovlev, Alex},
title = {Automating synthesis of asynchronous communication mechanisms},
year = {2005},
pages = {166--175},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
doi = {10.1109/ACSD.2005.5},
url = {https://doi.org/10.1109/ACSD.2005.5}
}
The source metadata has no journal or volume. Add them from the original publication if your citation needs them.