| |
| 2004 | ||
|---|---|---|
| 2 | EE | 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 | EE | 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 |
| 1 | Michael D. Ernst | [1] [2] |
| 2 | Stephen J. Garland | [1] [2] |
| 3 | Dilsun Kirli Kaynar | [1] [2] |
| 4 | Nancy A. Lynch | [1] [2] |