Formal Techniques for Networked and Distributed Systems – FORTE 2007

MLA

Derrick, John, et al. Formal Techniques for Networked and Distributed Systems – Forte 2007. Springer Berlin Heidelberg, 2007.

APA

Derrick, J., Kanade, T., Vain, J., & Kittler, J. (2007). Formal Techniques for Networked and Distributed Systems – FORTE 2007. Springer Berlin Heidelberg.

Chicago

Derrick, John, Takeo Kanade, Jüri Vain, and Josef Kittler. Formal Techniques for Networked and Distributed Systems – FORTE 2007. : Springer Berlin Heidelberg, 2007.