%0 Journal Article %1 journals/entcs/ChalubB07 %A Chalub, Fabricio %A Braga, Christiano %D 2007 %J Electr. Notes Theor. Comput. Sci. %K dblp %N 4 %P 133-146 %T Maude MSOS Tool. %U http://dblp.uni-trier.de/db/journals/entcs/entcs176.html#ChalubB07 %V 176

@article{journals/entcs/ChalubB07, added-at = {2007-09-21T00:00:00.000+0200}, author = {Chalub, Fabricio and Braga, Christiano}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f416ff1a1668b54619387c93c2171ffd/dblp}, ee = {http://dx.doi.org/10.1016/j.entcs.2007.06.012}, interhash = {4c1a9859fa98d00ae74d191fc7adc5f2}, intrahash = {f416ff1a1668b54619387c93c2171ffd}, journal = {Electr. Notes Theor. Comput. Sci.}, keywords = {dblp}, number = 4, pages = {133-146}, timestamp = {2016-02-02T04:54:44.000+0100}, title = {Maude MSOS Tool.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs176.html#ChalubB07}, volume = 176, year = 2007 }