Computer-Assisted Simulation Proofs.

Jørgen F. Søgaard-Andersen Stephen J. Garland John V. Guttag Nancy A. Lynch Anna Pogosyants

Published in: CAV (1993)

Keyphrases

computer assisted
computer aided
foreign language
intraoperative
simulation model
data sets
numerical simulations
simulation environment
total knee replacement