Citação norma APA

Ferreira, J. F., He, G., & Qin, S. (2012). Automated verification of the freeRTOS scheduler in HIP/SLEEK.

Citação norma Chicago

Ferreira, João Fernando, Guanhua He, and Shengchao Qin. Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. 2012.

Citação norma MLA

Ferreira, João Fernando, et al. Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. 2012.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.