Formal Methods for Mobile Computing

MLA

Bernardo, Marco, et al. Formal Methods for Mobile Computing. Springer Berlin / Heidelberg, 2005.

APA

Bernardo, M., Bogliolo, A., Kanade, T., & Kittler, J. (2005). Formal Methods for Mobile Computing. Springer Berlin / Heidelberg.

Chicago

Bernardo, Marco, Alessandro Bogliolo, Takeo Kanade, and Josef Kittler. Formal Methods for Mobile Computing. : Springer Berlin / Heidelberg, 2005.