APA (7th ed.) Citation

SpringerLink (Online service), Kim, M., Chin, B., Kang, S., & Lee, D. (2002). Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea. Springer US.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Myungchul Kim, Byoungmoon Chin, Sungwon Kang, and Danhyung Lee. Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea. Boston, MA: Springer US, 2002.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea. Springer US, 2002.

Warning: These citations may not always be 100% accurate.