A Maude specification of an object-oriented model for telecommunication networks

  1. Pita, I.
  2. Martí-Oliet, N.
Revista:
Theoretical Computer Science

ISSN: 0304-3975

Any de publicació: 2002

Volum: 285

Número: 2

Pàgines: 407-439

Tipus: Article

DOI: 10.1016/S0304-3975(01)00364-4 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus