APA (7th ed.) Citation

Kim, M., Chin, B., Kang, S., & Lee, D. (2001). 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. 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, 69, . https://doi.org/10.1007/b116730

Chicago Style (17th ed.) Citation

Kim, Myungchul, 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." 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 69 (2001). https://doi.org/10.1007/b116730.

MLA (9th ed.) Citation

Kim, Myungchul, 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." 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, vol. 69, 2001, https://doi.org/10.1007/b116730.