4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems

Estadísticas Alertas RSS

Título Año
EVGC: A tool for visualizing LOTOS behavioural specifications Marrero, Mario ; Suárez Sarmiento, Álvaro Fecha de publicación: 1996 DOI: 10.1007/3-540-61648-9_60 Localización: Lecture Notes in Computer Science [ISSN 0302-9743], v. 1135, p. 475-478, (1996) Actas de congresos