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]
Abstract is missing.