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:
Description
Physical Description:xvi, 278 p. : il. ; 24 cm.
ISBN:0134552970