Euromicro Workshop on Real-Time Systems (7th 1995 Odense, Denmark)

• Proceedings, Seventh Euromicro Workshop on Real-Time Systems, June 14-16, 1995, Odense, Denmark