Fechar
Metadados


Como Referenciar este Documento no Padrão INPE (Formato BibINPE)

SANTIAGO JÚNIOR, V. A.; TAHAR, S. Time performance formal evaluation of complex systems. In: CONGRESSO BRASILEIROD E SOFTWARE: TEORIA E PRÁTICA, , Belo Horizonte, MG. (campo ausente ou vazio: 'booktitle') 2015.

Como Fazer a Citação no Texto (por autor/ano)

... como proposto por Santiago Júnior e Tahar (2015).
... pode ser encontrada na literatura (SANTIAGO JÚNIOR; TAHAR, 2015).



Fechar