A Fixed-Point Algorithm for Closed Queueing Networks

Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt. A Fixed-Point Algorithm for Closed Queueing Networks. In Katinka Wolter, editor, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Volume 4748 of Lecture Notes in Computer Science, pages 154-170, Springer, 2007. [doi]

Authors

Ramin Sadre

This author has not been identified. Look up 'Ramin Sadre' in Google

Boudewijn R. Haverkort

This author has not been identified. Look up 'Boudewijn R. Haverkort' in Google

Patrick Reinelt

This author has not been identified. Look up 'Patrick Reinelt' in Google