Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings

From MaRDI portal