Warning: ini_set(): A session is active. You cannot change the session module's ini settings at this time in /var/www/html/ojs/ojs/lib/pkp/classes/session/SessionManager.inc.php on line 71
Solsona, José E. 2023. «Sobre La especificación Y verificación Del patrón De programación Paralela PCR En TLA+». Memoria Investigaciones En Ingeniería, n.º 24 (junio):105-16. https://doi.org/10.36561/ING.24.8.