Performance of Communication Systems: A Model-Based Evaluation with Matrix-Geometric Methods

The pseudo-self-similar traffic model: application and validation

Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks

ASMTA '08 Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications

Model checking infinite-state markov chains

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems

A hybrid approach to minimize state space explosion problem for the solution of two stage tandem queues

Journal of Network and Computer Applications