Toh Ne Win

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
Using simulated execution in verifying distributed algorithms. Int. J. Softw. Tools Technol. Transf. 6 (1) (2004)
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
Using Simulated Execution in Verifying Distributed Algorithms. VMCAI (2003)