Mark William Stephenson

发表

Dynamics and control of the space shuttle based kinetic isolation tether experiment

Mark William Stephenson, 1988 .

Bitwise: Optimizing Bitwidths Using Data-Range Propagation

Mark William Stephenson, M. Stephenson, 2000 .