Referência de acordo com a norma APA

ANTONINO, P. R. G. (2014). A refinement based strategy for locally verifying networks of CSP processes.

Referência de acordo com a norma Chicago

ANTONINO, Pedro Ribeiro Gonçalves. A Refinement Based Strategy for Locally Verifying Networks of CSP Processes. 2014.

Referência de acordo com a norma MLA

ANTONINO, Pedro Ribeiro Gonçalves. A Refinement Based Strategy for Locally Verifying Networks of CSP Processes. 2014.

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.