| |
| 1995 | ||
|---|---|---|
| 2 | EE | John Nagle: Realistic animation of legged running on rough terrain. CA 1995: 154- |
| 1983 | ||
| 1 | John Nagle, Scott Johnson: Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software. POPL 1983: 48-58 | |
| 1 | Scott Johnson | [1] |