Formal Methods and Stochastic Models for Performance Evaluation

MLA

Wolter, Katinka, Takeo Kanade, and Josef Kittler. Formal Methods and Stochastic Models for Performance Evaluation. Springer Berlin Heidelberg, 2007.

APA

Wolter, K., Kanade, T., & Kittler, J. (2007). Formal Methods and Stochastic Models for Performance Evaluation. Springer Berlin Heidelberg.

Chicago

Wolter, Katinka, Takeo Kanade, and Josef Kittler. Formal Methods and Stochastic Models for Performance Evaluation. : Springer Berlin Heidelberg, 2007.