APA (7th ed.) Citation

FORTE 2007 Tallinn, Estonia, IFIP Working Group 6.1, 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. https://doi.org/10.1007/978-3-540-73196-2

Chicago Style (17th ed.) Citation

FORTE 2007 Tallinn, Estonia, IFIP Working Group 6.1, 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 ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-73196-2.

MLA (9th ed.) Citation

FORTE 2007 Tallinn, Estonia, 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, 2007. https://doi.org/10.1007/978-3-540-73196-2.