A Mixed-Priority Queue with Applications to the Analysis of Real-Time Systems

From MaRDI portal
Publication:5568849