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 (17η εκδ.)SpringerLink (Online service), Myungchul Kim, Byoungmoon Chin, Sungwon Kang, και 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 εκδ.)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.
