Real-time systems : specification, verification and analysis /

Bibliographic Details
Other Authors: Joseph, Mathai (ed.)
Format: Book
Language:English
Published: London : Prentice-Hall, 1996.
Series:Prentice-Hall international series in computer science
Subjects: