| |
| 2008 | ||
|---|---|---|
| 3 | EE | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD 2008: 807-813 |
| 2 | EE | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857 |
| 1 | EE | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40 |
| 1 | Cyrille Artho | [1] [2] [3] |
| 2 | Masami Hagiya | [1] [2] [3] |
| 3 | Yoshinori Tanabe | [1] [2] [3] |