Real-time systems Specification, Verification and analysis
Real-time systems Specification, Verification and analysis
ed. by Mathai Joseph
- London P-H 1996
- xiv, 278p.
- Prentice Hall International series in computer science .
0134552970
004.33 / N961
0134552970
004.33 / N961