Formal Techniques for Networked and Distributed Systems – FORTE 2008

MLA

Suzuki, Kenji, et al. Formal Techniques for Networked and Distributed Systems – Forte 2008. Springer Berlin Heidelberg, 2008.

APA

Suzuki, K., El-Fakih, K., Higashino, T., Kanade, T., & Yasumoto, K. (2008). Formal Techniques for Networked and Distributed Systems – FORTE 2008. Springer Berlin Heidelberg.

Chicago

Suzuki, Kenji, Khaled El-Fakih, Teruo Higashino, Takeo Kanade, and Keiichi Yasumoto. Formal Techniques for Networked and Distributed Systems – FORTE 2008. : Springer Berlin Heidelberg, 2008.