| |
| 2008 | ||
|---|---|---|
| 3 | EE | Tonglaga Bao, Michael Jones: Model Checking Abstract Components within Concrete Software Environments. SPIN 2008: 42-59 |
| 2005 | ||
| 2 | EE | Tonglaga Bao, Michael Jones: Time-Efficient Model Checking with Magnetic Disk. TACAS 2005: 526-540 |
| 2003 | ||
| 1 | EE | Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn: Benchmarking Explicit State Parallel Model Checkers. Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
| 1 | Michael Jones | [1] [2] [3] |
| 2 | Rahul Kumar | [1] |
| 3 | Peter Lamborn | [1] |
| 4 | Eric Mercer (Eric G. Mercer) | [1] |