Search results for: Heeseok Choi
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 20-32
2006 8th International Conference Advanced Communication Technology > 2 > 4 pp. - 1234
2006 8th International Conference Advanced Communication Technology > 1 > 3 pp. - 530