Referência de acordo com a norma APA

Araújo, R. W. d. (2005). Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC).

Referência de acordo com a norma Chicago

Araújo, Ricardo Wagner de. Verificação Formal Automatizada Para Sistemas De Raciocínio Procedural (PRS) Utilizando Redes De Petri Coloridas (RPC). 2005.

Referência de acordo com a norma MLA

Araújo, Ricardo Wagner de. Verificação Formal Automatizada Para Sistemas De Raciocínio Procedural (PRS) Utilizando Redes De Petri Coloridas (RPC). 2005.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero , que permite o upload automático das referências do Oasisbr.