Gunter Bolch, Stefan Greiner, Hermann de Meer, Kishor Shridharbhai Trivedi

Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications