TY  - BOOK
AU  - Shyamasundar R K Et Al
TI  - Real Time Programming: Languages, Specification and Verification
SN  - 9789812814029
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/3030#t=toc
ER  -