%0 Journal Article %1 journals/tcs/PitaM02 %A Pita, Isabel %A Martí-Oliet, Narciso %D 2002 %J Theor. Comput. Sci. %K dblp %N 2 %P 407-439 %T A Maude specification of an object-oriented model for telecommunication networks. %U http://dblp.uni-trier.de/db/journals/tcs/tcs285.html#PitaM02 %V 285

@article{journals/tcs/PitaM02, added-at = {2021-02-17T00:00:00.000+0100}, author = {Pita, Isabel and Martí-Oliet, Narciso}, biburl = {https://www.bibsonomy.org/bibtex/2c677cda82fdc985081f4c120e26f47a2/dblp}, ee = {https://doi.org/10.1016/S0304-3975(01)00364-4}, interhash = {030b3750eedf2b2ab4e6386d602a3222}, intrahash = {c677cda82fdc985081f4c120e26f47a2}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {407-439}, timestamp = {2024-04-08T18:50:15.000+0200}, title = {A Maude specification of an object-oriented model for telecommunication networks.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs285.html#PitaM02}, volume = 285, year = 2002 }