Marrero Ruíz, Mario ; Suárez Sarmiento, Álvaro ; Carrión Pérez, Elena; Macías López, Elsa María Fecha de publicación: 1998
Localización: 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