1998 | ||
---|---|---|
1 | EE | John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey: Experiences in verifying parallel simulation algorithms. FMSP 1998: 16-23 |
1 | Perry Alexander | [1] |
2 | Peter Frey | [1] |
3 | Dale E. Martin | [1] |
4 | John Penix | [1] |
5 | Philip A. Wilsey | [1] |