Typed mobile ambients in Maude
ISSN: 1571-0661
Año de publicación: 2006
Volumen: 147
Número: 1
Páginas: 135-161
Tipo: Aportación congreso
ISSN: 1571-0661
Año de publicación: 2006
Volumen: 147
Número: 1
Páginas: 135-161
Tipo: Aportación congreso