How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
SANTOS, L. B. R.; SANTIAGO JÚNIOR, V. A.; VIJAYKUMAR, N. L. An algorithm to translate UML behavioral diagrams for formal verification. In: WORKSHOP DOS CURSOS DE COMPUTAÇÃO APLICADA DO INPE, 13. (WORCAP), 2013, São José dos Campos. Anais... São José dos Campos: INPE, 2013. On-line. IBI: <8JMKD3MGP3W/3FCLDAP>. Available from: <http://www.lac.inpe.br/worcap2013/programacao.php>. Access in: 2024, July 26.
How to Make the In-Text Citation (by author/year)
... as proposed by Santos, Santiago Júnior and Vijaykumar (2013).
... may be found in the literature (SANTOS; SANTIAGO JÚNIOR; VIJAYKUMAR, 2013).