Formal Techniques for Networked and Distributed Systems - FORTE 2006

MLA

Najm, Elie, et al. Formal Techniques for Networked and Distributed Systems - Forte 2006. Springer Berlin Heidelberg, 2006.

APA

Najm, E., Donzeau-Gouge, V., Donzeau-Gouge, V. Viguié, Kanade, T., & Pradat-Peyre, J., & Pradat-Peyre, J. (2006). Formal Techniques for Networked and Distributed Systems - FORTE 2006. Springer Berlin Heidelberg.

Chicago

Najm, Elie, Vaeronique Donzeau-Gouge, Véronique Viguié Donzeau-Gouge, Takeo Kanade, Jean-Franecois Pradat-Peyre, and Jean-François Pradat-Peyre. Formal Techniques for Networked and Distributed Systems - FORTE 2006. : Springer Berlin Heidelberg, 2006.