%0 Journal Article %1 journals/rita/BarbosaCTM10 %A de Miranda Barbosa, Raquel %A da Rocha Costa, Antônio Carlos %A de Azevedo Restelli Tedesco, Patrícia Cabral %A Mota, Alexandre Cabral %D 2010 %J RITA %K dblp %N 3 %P 389-411 %T Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. %U http://dblp.uni-trier.de/db/journals/rita/rita17.html#BarbosaCTM10 %V 17

@article{journals/rita/BarbosaCTM10, added-at = {2020-02-03T00:00:00.000+0100}, author = {de Miranda Barbosa, Raquel and da Rocha Costa, Antônio Carlos and de Azevedo Restelli Tedesco, Patrícia Cabral and Mota, Alexandre Cabral}, biburl = {https://www.bibsonomy.org/bibtex/286b9cb667f50be4f1e341289bd53f1ce/dblp}, ee = {https://doi.org/10.22456/2175-2745.16413}, interhash = {4f81fe3e5babd4ef3269f24b86b58696}, intrahash = {86b9cb667f50be4f1e341289bd53f1ce}, journal = {RITA}, keywords = {dblp}, number = 3, pages = {389-411}, timestamp = {2020-02-04T11:38:52.000+0100}, title = {Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs.}, url = {http://dblp.uni-trier.de/db/journals/rita/rita17.html#BarbosaCTM10}, volume = 17, year = 2010 }