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
Citácia 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.
Citácia podľa MLA (8th 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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..