Toh Ne Win

	2004
2		Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using simulated execution in verifying distributed algorithms. STTT 6(1): 67-76 (2004)
	2003
1		Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using Simulated Execution in Verifying Distributed Algorithms. VMCAI 2003: 283-297

Coauthor Index

1	Michael D. Ernst	[1] [2]
2	Stephen J. Garland	[1] [2]
3	Dilsun Kirli Kaynar	[1] [2]
4	Nancy A. Lynch	[1] [2]