| 2008 | ||
|---|---|---|
| 2 | Murali Talupur, Mark R. Tuttle: Going with the Flow: Parameterized Verification Using Message Flows. FMCAD 2008: 1-8 | |
| 1 | David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle: Extracting models from design documents with mapster. PODC 2008: 456 | |
| 1 | David James | [1] |
| 2 | Tim Leonard | [1] |
| 3 | John W. O'Leary | [1] |
| 4 | Mark R. Tuttle | [1] [2] |