Proving modal properties of rewrite theories using Maude's metalevel
ISSN: 1571-0661
Datum der Publikation: 2005
Ausgabe: 137
Nummer: 1
Seiten: 133-150
Art: Konferenz-Beitrag
ISSN: 1571-0661
Datum der Publikation: 2005
Ausgabe: 137
Nummer: 1
Seiten: 133-150
Art: Konferenz-Beitrag