A Maude specification of an object-oriented model for telecommunication networks
Isabel Pita, Narciso Martı&, #x0301, -OlietVolume:
285
Year:
2002
Language:
english
Pages:
33
DOI:
10.1016/s0304-3975(01)00364-4
File:
PDF, 265 KB
english, 2002