Formal Methods and Stochastic Models for Performance Evaluation

MLA

Horváth, András, Takeo Kanade, and Miklós Telek. Formal Methods and Stochastic Models for Performance Evaluation. Springer Berlin / Heidelberg, 2006.

APA

Horváth, A., Kanade, T., & Telek, M. (2006). Formal Methods and Stochastic Models for Performance Evaluation. Springer Berlin / Heidelberg.

Chicago

Horváth, András, Takeo Kanade, and Miklós Telek. Formal Methods and Stochastic Models for Performance Evaluation. : Springer Berlin / Heidelberg, 2006.