Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
ISSN: 1571-0661
Year of publication: 2007
Volume: 174
Issue: 10 SPEC. ISS.
Pages: 119-137
Type: Article
ISSN: 1571-0661
Year of publication: 2007
Volume: 174
Issue: 10 SPEC. ISS.
Pages: 119-137
Type: Article