Automated analysis of real-time scheduling using graph games

From MaRDI portal
Publication:2986919