|
|
Marrero Ruíz, Mario ; Suárez Sarmiento, Álvaro ; Carrión Pérez, Elena; Macías López, Elsa María Issued date: 1998 Source: In: Ravn A.P., Rischel H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science [ISSN 0302-9743], v. 1486, p. 303-306, (1998) Actas de congresos |
Ojeda-Guerra, C. N. ; Esper-Chaín, R. ; Estupiñán, M.; Macías, E. ; Suárez, Á. Issued date: 1998 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)[ISSN 0302-9743],v. 1482, p. 396-400 Actas de congresos |
Sanchez, D ; Macias, EM ; Suarez, A Issued date: 2004 Source: Parallel Processing And Applied Mathematics[ISSN 0302-9743],v. 3019, p. 946-953 JCR: 0,513 - Q4 Actas de congresos |