APA-Zitierstil (7. Ausg.)

Shyamasundar, R. K., & Ramesh, S. (2009). PART IV: Verification of Synchronous Programs. Real Time Programming: Languages, Specification And Verification, 131. https://doi.org/10.1142/9789812814029_others04

Chicago-Zitierstil (17. Ausg.)

Shyamasundar, R K., und S. Ramesh. "PART IV: Verification of Synchronous Programs." Real Time Programming: Languages, Specification And Verification 2009: 131. https://doi.org/10.1142/9789812814029_others04.

MLA-Zitierstil (9. Ausg.)

Shyamasundar, R K., und S. Ramesh. "PART IV: Verification of Synchronous Programs." Real Time Programming: Languages, Specification And Verification, 2009, p. 131, https://doi.org/10.1142/9789812814029_others04.