The following pages link to (Q4813203):
Displaying 7 items.
- Consecutive customer losses in oscillating \(GI^X/M//n\) systems with state dependent services rates (Q940942) (← links)
- Consecutive customer losses in regular and oscillating \(M^{X}/ G /1/ n\) systems (Q2425551) (← links)
- Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy (Q2481136) (← links)
- Analysis of \(\text{GI}/\text{M}/s/c\) queues using uniformisation (Q2494793) (← links)
- Model checking expected time and expected reward formulae with random time bounds (Q2494794) (← links)
- A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks (Q3543298) (← links)
- (Q4798037) (← links)