APA (7th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, Bernardo, M., & Bogliolo, A. (2005). Formal methods for mobile computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures. Springer.

Chicago Style (17th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, Marco Bernardo, and Alessandro Bogliolo. Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : Advanced Lectures. Berlin ; New York: Springer, 2005.

MLA (9th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, et al. Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : Advanced Lectures. Springer, 2005.