Formal Methods for Performance Evaluation

MLA

Bernardo, Marco, et al. Formal Methods for Performance Evaluation. Springer Berlin Heidelberg, 2007.

APA

Bernardo, M., Hillston, J., Hutchison, D., Kanade, T., & Kittler, J. (2007). Formal Methods for Performance Evaluation. Springer Berlin Heidelberg.

Chicago

Bernardo, Marco, Jane Hillston, David Hutchison, Takeo Kanade, and Josef Kittler. Formal Methods for Performance Evaluation. : Springer Berlin Heidelberg, 2007.