Executable structural operational semantics in Maude
ISSN: 1567-8326
Datum der Publikation: 2006
Ausgabe: 67
Nummer: 1-2
Seiten: 226-293
Art: Artikel
ISSN: 1567-8326
Datum der Publikation: 2006
Ausgabe: 67
Nummer: 1-2
Seiten: 226-293
Art: Artikel