APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.