Citations refer to the original publication, not to a Scieee localized version.
Pérez Jiménez, M. D. J., & Sancho Caparrini, F. (2005). Formal Verification of Programs in Molecular Models with Random Access Memory. Fénix Editorial. https://idus.us.es/items/76b38a99-2a33-46be-b8b1-cf31f8134b03
Pérez Jiménez, Mario de Jesús, and Fernando Sancho Caparrini. Formal Verification of Programs in Molecular Models with Random Access Memory. Fénix Editorial, 2005. https://idus.us.es/items/76b38a99-2a33-46be-b8b1-cf31f8134b03.
Pérez Jiménez, Mario de Jesús, and Fernando Sancho Caparrini. Formal Verification of Programs in Molecular Models with Random Access Memory. Fénix Editorial, 2005. https://idus.us.es/items/76b38a99-2a33-46be-b8b1-cf31f8134b03.
Pérez Jiménez, M. D. J. and Sancho Caparrini, F. (2005) Formal Verification of Programs in Molecular Models with Random Access Memory. Fénix Editorial. Available at: https://idus.us.es/items/76b38a99-2a33-46be-b8b1-cf31f8134b03.
M. D. J. Pérez Jiménez and F. Sancho Caparrini, “Formal Verification of Programs in Molecular Models with Random Access Memory,” Fénix Editorial, 2005. [Online]. Available: https://idus.us.es/items/76b38a99-2a33-46be-b8b1-cf31f8134b03
@misc{perezjimenez2005formal,
author = {Pérez Jiménez, Mario de Jesús and Sancho Caparrini, Fernando},
title = {Formal Verification of Programs in Molecular Models with Random Access Memory},
year = {2005},
publisher = {Fénix Editorial},
url = {https://idus.us.es/items/76b38a99-2a33-46be-b8b1-cf31f8134b03}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
