Title Issue Date
EVGC: A tool for visualizing LOTOS behavioural specifications Marrero, Mario ; Suárez Sarmiento, Álvaro Issued date: 1996 DOI: 10.1007/3-540-61648-9_60 Source: Lecture Notes in Computer Science [ISSN 0302-9743], v. 1135, p. 475-478, (1996) Actas de congresos