Hyggo O. Almeida, Elthon A. S. Oliveira, Nadia Barbosa, Frederico Bublitz, Leandro Dias da Silva, Angelo Perkusich. Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. In Alexandre Cidral, Olinto José Varela Furtado, editors, Proceedings of the 2nd Brazilian Symposium on Information Systems, SBSI 2005, Florianópolis, Brazil, October 26-28, 2005. pages 272-279, 2005. [doi]
@inproceedings{AlmeidaOBBSP05,
title = {Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes},
author = {Hyggo O. Almeida and Elthon A. S. Oliveira and Nadia Barbosa and Frederico Bublitz and Leandro Dias da Silva and Angelo Perkusich},
year = {2005},
doi = {10.5753/sbsi.2005.14994},
url = {https://doi.org/10.5753/sbsi.2005.14994},
researchr = {https://researchr.org/publication/AlmeidaOBBSP05},
cites = {0},
citedby = {0},
pages = {272-279},
booktitle = {Proceedings of the 2nd Brazilian Symposium on Information Systems, SBSI 2005, Florianópolis, Brazil, October 26-28, 2005},
editor = {Alexandre Cidral and Olinto José Varela Furtado},
}