APA (7th ed.) Citation

Tasche, P., Herber, P., & Huisman, M. (2025). Deductive Verification of Cooperative RTOS Applications. ACM Transactions on Embedded Computing Systems, 24, 1. https://doi.org/10.1145/3759251

Chicago Style (17th ed.) Citation

Tasche, Philip, Paula Herber, and Marieke Huisman. "Deductive Verification of Cooperative RTOS Applications." ACM Transactions on Embedded Computing Systems 24 (2025): 1. https://doi.org/10.1145/3759251.

MLA (9th ed.) Citation

Tasche, Philip, et al. "Deductive Verification of Cooperative RTOS Applications." ACM Transactions on Embedded Computing Systems, vol. 24, 2025, p. 1, https://doi.org/10.1145/3759251.