APA (7th ed.) Citation

SpringerLink (Online service), Derrick, J., & Vain, J. (2007). Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), John Derrick, and Jüri Vain. Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2007.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Formal Techniques for Networked and Distributed Systems – FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2007.