Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
ISSN: 1571-0661
Argitalpen urtea: 2007
Alea: 174
Zenbakia: 10 SPEC. ISS.
Orrialdeak: 119-137
Mota: Artikulua
ISSN: 1571-0661
Argitalpen urtea: 2007
Alea: 174
Zenbakia: 10 SPEC. ISS.
Orrialdeak: 119-137
Mota: Artikulua