Typed mobile ambients in Maude
ISSN: 1571-0661
Datum der Publikation: 2006
Ausgabe: 147
Nummer: 1
Seiten: 135-161
Art: Konferenz-Beitrag
ISSN: 1571-0661
Datum der Publikation: 2006
Ausgabe: 147
Nummer: 1
Seiten: 135-161
Art: Konferenz-Beitrag