Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
too many nested evaluations (infinite loop?). Model Checking Probabilístico para comparação de técnicas de mitigação de SEU em FPGAs. In: WORKSHOP DOS CURSOS DE COMPUTAÇÃO APLICADA DO INPE, 17. (WORCAP), 2017, São José dos Campos, SP. Anais... 2017. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34P/49NAC3E>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Pereira e Santiago Júnior (2017).
... pode ser encontrada na literatura (PEREIRA; SANTIAGO JÚNIOR, 2017).