@Article{ErasSantArak:2014:LeCoAr,
               author = "Eras, Eduardo Rohde and Santos, Luciana Brasil Rebelo dos and 
                         Arakaki, Reinaldo Gen Ichiro",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and FATEC",
                title = "Um Leitor e Conversor de Arquivos XMI para SIstemas de 
                         Transi{\c{c}}{\~a}o de Estados",
              journal = "Boletim T{\'e}cnico da Faculdade de Tecnologia de S{\~a}o 
                         Paulo",
                 year = "2014",
               volume = "38",
               number = "16",
                pages = "136--136",
             keywords = "Tool, UML, State Transition System, Formal Verification.",
                 issn = "1518-9082",
                label = "lattes: 4404234627216005 1 ErasSantArak:2014:LeCoAr",
             language = "pt",
                  url = "http://bt.fatecsp.br/system/articles/988/original/sict_2014.pdf",
        urlaccessdate = "26 abr. 2024"
}