A Maude specification of an object-oriented database model for telecommunication networks
ISSN: 1571-0661
Ano de publicación: 1996
Volume: 4
Número: C
Páxinas: 405-423
Tipo: Artigo
ISSN: 1571-0661
Ano de publicación: 1996
Volume: 4
Número: C
Páxinas: 405-423
Tipo: Artigo