ISBN 9780818682698 books & textbook
REAL-TIME SYSTEMS: Proceedings of 18th IEEE Symposium on, 2-5 December 1997, San Francisco, California
Havelund, Klaus; Larsen, Kim G.; Bouajjani, Ahmed; et.al.
IEEE Computer Society Press /1997T Hardcover
isbn-10: 0818682698 / isbn-13: 9780818682698
