TY  - GEN
AU  - Shyamasundar, R K
AU  - Ramesh, S.
TI  - Real time programming : languages, specifications and verification
SN  - 9789810225667
PY  - 2010///
CY  - Singapore
PB  - World scientific
KW  - Programing - real time
KW  - Real-time languages-characteristics
KW  - Synchronous languages
KW  - Real time systems
ER  -