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), pp. 105–116. doi: 10.36561/ING.24.8.