A formal proof for the insensitivity of simple bounds for finite multi- server non-exponential tandem queues based on monotonicity results

From MaRDI portal
Publication:1100815