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 - Kim, Myungchul; Chin, Byoungmoon; Kang, Sungwon; Lee, Danhyung (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, 2001)
Keywords: Artificial Intelligence; Computer Communication Networks; Computer engineering; Computer Science; Electrical Engineering; Processor Architectures; Software engineering; Software Engineering/Programming and Operating Systems