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 |