Referência de acordo com a norma APA

Oliveira, D. B. d. (2020). Automata-based formal analysis and verification of the real-time Linux kernel.

Referência de acordo com a norma Chicago

Oliveira, Daniel Bristot de. Automata-based Formal Analysis and Verification of the Real-time Linux Kernel. 2020.

Referência de acordo com a norma MLA

Oliveira, Daniel Bristot de. Automata-based Formal Analysis and Verification of the Real-time Linux Kernel. 2020.

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.