A Maude specification of an object-oriented model for telecommunication networks
ISSN: 0304-3975
Year of publication: 2002
Volume: 285
Issue: 2
Pages: 407-439
Type: Article
ISSN: 0304-3975
Year of publication: 2002
Volume: 285
Issue: 2
Pages: 407-439
Type: Article