| |
| 2004 | ||
|---|---|---|
| 2 | Jeff McDougall, Jeevan Joseph John, Yi Yu, Scott L. Miller: An improved channel model for mobile and ad-hoc network simulations. Communications, Internet, and Information Technology 2004: 352-357 | |
| 2000 | ||
| 1 | EE | Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum: Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. AMAST 2000: 73-88 |
| 1 | Peter Froebel | [1] |
| 2 | Jeevan Joseph John | [2] |
| 3 | Mark Lawford | [1] |
| 4 | Scott L. Miller | [2] |
| 5 | Greg Moum | [1] |
| 6 | Yi Yu | [2] |