The Behavior of a Finite Queue with Batch Poisson Inputs Resulting from Message Packetization and a Synchronous Server | IEEE Journals & Magazine | IEEE Xplore