Citations refer to the original publication, not to a Scieee localized version.
Troya Castilla, J., & Vallecillo Moreno, A. (2011). A Rewriting Logic Semantics for ATL. AITO: Association Internationale pour les Technologies Objets. https://doi.org/10.5381/jot.2011.10.1.a5
Troya Castilla, Javier, and Antonio Vallecillo Moreno. A Rewriting Logic Semantics for ATL. AITO: Association Internationale pour les Technologies Objets, 2011. https://doi.org/10.5381/jot.2011.10.1.a5.
Troya Castilla, Javier, and Antonio Vallecillo Moreno. A Rewriting Logic Semantics for ATL. AITO: Association Internationale pour les Technologies Objets, 2011. https://doi.org/10.5381/jot.2011.10.1.a5.
Troya Castilla, J. and Vallecillo Moreno, A. (2011) A Rewriting Logic Semantics for ATL. AITO: Association Internationale pour les Technologies Objets. Available at: https://doi.org/10.5381/jot.2011.10.1.a5.
J. Troya Castilla and A. Vallecillo Moreno, “A Rewriting Logic Semantics for ATL,” AITO: Association Internationale pour les Technologies Objets, 2011, doi: 10.5381/jot.2011.10.1.a5.
@misc{troyacastilla2011rewriting,
author = {Troya Castilla, Javier and Vallecillo Moreno, Antonio},
title = {A Rewriting Logic Semantics for ATL},
year = {2011},
publisher = {AITO: Association Internationale pour les Technologies Objets},
doi = {10.5381/jot.2011.10.1.a5},
url = {https://doi.org/10.5381/jot.2011.10.1.a5}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
