(2010). Real time programming languages, specification and verification / R.K. Shyamasundar, S. Ramesh. [electronic resource].
Chicago Style (17th ed.) CitationReal Time Programming Languages, Specification and Verification / R.K. Shyamasundar, S. Ramesh. [electronic Resource]. 2010.
MLA (9th ed.) CitationReal Time Programming Languages, Specification and Verification / R.K. Shyamasundar, S. Ramesh. [electronic Resource]. 2010.
Warning: These citations may not always be 100% accurate.