Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 174
Número: 10 SPEC. ISS.
Páginas: 119-137
Tipo: Artículo
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 174
Número: 10 SPEC. ISS.
Páginas: 119-137
Tipo: Artículo