The N-Body Problem in LOTOS.

Kenneth J. Turner

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

human body
real time
information systems
website
face recognition
multiresolution
pose estimation
physiological parameters
formal specification language