Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

Shyamasundar, R K., a 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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..