Verification of the Stability of a Two-Server Queueing System With Static Priority.

Evsey Morozov, Maria Maltseva, Bart Steyaert

Browse the full FRUCT paper archive.