A Maude specification of an object-oriented model for telecommunication networks
ISSN: 0304-3975
Datum der Publikation: 2002
Ausgabe: 285
Nummer: 2
Seiten: 407-439
Art: Artikel
ISSN: 0304-3975
Datum der Publikation: 2002
Ausgabe: 285
Nummer: 2
Seiten: 407-439
Art: Artikel