Distributed Test using Logical Clock

Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo. Distributed Test using Logical Clock. In Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee, editors, Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21:::st::: International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. Volume 197 of IFIP Conference Proceedings, pages 69-84, Kluwer, 2001.

Abstract

Abstract is missing.