FORTE 2001 Cheju-do, Korea, ebrary, Inc, & Kim, M. (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. Kluwer Academic.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
FORTE 2001 Cheju-do, Korea, Inc ebrary, và Myungchul Kim. 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. New York: Kluwer Academic, 2001.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
FORTE 2001 Cheju-do, Korea, 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. Kluwer Academic, 2001.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.