Formal Techniques for Networked and Distributed Systems - FORTE 2005

MLA

Kanade, Takeo, Farn Wang, and Josef Kittler. Formal Techniques for Networked and Distributed Systems - Forte 2005. Springer Berlin / Heidelberg, 2005.

APA

Kanade, T., Wang, F., & Kittler, J. (2005). Formal Techniques for Networked and Distributed Systems - FORTE 2005. Springer Berlin / Heidelberg.

Chicago

Kanade, Takeo, Farn Wang, and Josef Kittler. Formal Techniques for Networked and Distributed Systems - FORTE 2005. : Springer Berlin / Heidelberg, 2005.