Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
ISSN: 1571-0661
Datum der Publikation: 2007
Ausgabe: 174
Nummer: 10 SPEC. ISS.
Seiten: 119-137
Art: Artikel
ISSN: 1571-0661
Datum der Publikation: 2007
Ausgabe: 174
Nummer: 10 SPEC. ISS.
Seiten: 119-137
Art: Artikel