Real-time systems specification, verification, and analysis

Bibliographic Details
Other Authors:	Joseph, Mathai
Format:	Book
Published:	London Prentice Hall 1996.
Series:	Prentice Hall International series in computer science
Subjects:	Real-time data processing.