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, J. E. (2023). Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+. Memoria Investigaciones En Ingeniería, (24), 105–116. https://doi.org/10.36561/ING.24.8