APA (7th ed.) Citation

SpringerLink (Online service), Peled, D. A., & Vardi, M. Y. (2002). Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (1st ed. 2002.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/3-540-36135-9

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Doron A. Peled, and Moshe Y. Vardi. Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. 1st ed. 2002. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2002. https://doi.org/10.1007/3-540-36135-9.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. 1st ed. 2002. Springer Berlin Heidelberg : Imprint: Springer, 2002. https://doi.org/10.1007/3-540-36135-9.