On the distribution of a busy period for the many server Poisson queue

From MaRDI portal