Citations refer to the original publication, not to a Scieee localized version.
Luque Rodríguez, J., Gonzalo, F., Pérez García, F., & Mejías Risoto, M. (1994). Formal techniques improve connectivity in supervisory systems. IEEE Computer Society. https://doi.org/10.1109/67.273785
Luque Rodríguez, Joaquín, et al. Formal techniques improve connectivity in supervisory systems. IEEE Computer Society, 1994. https://doi.org/10.1109/67.273785.
Luque Rodríguez, Joaquín, Fernando Gonzalo, Francisco Pérez García, and Manuel Mejías Risoto. Formal techniques improve connectivity in supervisory systems. IEEE Computer Society, 1994. https://doi.org/10.1109/67.273785.
Luque Rodríguez, J. et al. (1994) Formal techniques improve connectivity in supervisory systems. IEEE Computer Society. Available at: https://doi.org/10.1109/67.273785.
J. Luque Rodríguez, F. Gonzalo, F. Pérez García, and M. Mejías Risoto, “Formal techniques improve connectivity in supervisory systems,” IEEE Computer Society, 1994, doi: 10.1109/67.273785.
@misc{luquerodriguez1994formal,
author = {Luque Rodríguez, Joaquín and Gonzalo, Fernando and Pérez García, Francisco and Mejías Risoto, Manuel},
title = {Formal techniques improve connectivity in supervisory systems},
year = {1994},
publisher = {IEEE Computer Society},
doi = {10.1109/67.273785},
url = {https://doi.org/10.1109/67.273785}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.