Formal Methods and Stochastic Models for Performance Evaluation - Horváth, András; Kanade, Takeo; Telek, Miklós (Springer Berlin / Heidelberg, 2006)
Keywords: Information Technology -- Software Engineering