Two case studies of semantics execution in maude: CCS and LOTOS
ISSN: 0925-9856
Ano de publicación: 2005
Volume: 27
Número: 1-2
Páxinas: 113-172
Tipo: Artigo
ISSN: 0925-9856
Ano de publicación: 2005
Volume: 27
Número: 1-2
Páxinas: 113-172
Tipo: Artigo