A Maude specification of an object-oriented database model for telecommunication networks
ISSN: 1571-0661
Year of publication: 1996
Volume: 4
Issue: C
Pages: 405-423
Type: Article
ISSN: 1571-0661
Year of publication: 1996
Volume: 4
Issue: C
Pages: 405-423
Type: Article