Citations refer to the original publication, not to a Scieee localized version.
Cortadella, J. (1998). Combining structural and symbolic methods for the verification of concurrent systems. Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/CSD.1998.657533
Cortadella, Jordi. Combining structural and symbolic methods for the verification of concurrent systems. Institute of Electrical and Electronics Engineers (IEEE), 1998. https://doi.org/10.1109/CSD.1998.657533.
Cortadella, Jordi. Combining structural and symbolic methods for the verification of concurrent systems. Institute of Electrical and Electronics Engineers (IEEE), 1998. https://doi.org/10.1109/CSD.1998.657533.
Cortadella, J. (1998) Combining structural and symbolic methods for the verification of concurrent systems. Institute of Electrical and Electronics Engineers (IEEE). Available at: https://doi.org/10.1109/CSD.1998.657533.
J. Cortadella, “Combining structural and symbolic methods for the verification of concurrent systems,” Institute of Electrical and Electronics Engineers (IEEE), 1998, doi: 10.1109/CSD.1998.657533.
@misc{cortadella1998combining,
author = {Cortadella, Jordi},
title = {Combining structural and symbolic methods for the verification of concurrent systems},
year = {1998},
pages = {2--7},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
doi = {10.1109/CSD.1998.657533},
url = {https://doi.org/10.1109/CSD.1998.657533}
}
The source metadata has no journal or volume. Add them from the original publication if your citation needs them.
