APA (7th ed.) Citation

FORTE 2002 Houston, Tex., 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. Springer.

Chicago Style (17th ed.) Citation

FORTE 2002 Houston, Tex., 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. Berlin ; New York: Springer, 2002.

MLA (9th ed.) Citation

FORTE 2002 Houston, Tex., 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. Springer, 2002.