Formal methods and stochastic models for performance evaluation : 3rd european performance engineering workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.