Title :
The power and performance of proof animation
Author :
Henriksen, James O.
Author_Institution :
Wolverine Software Corporation
Keywords :
Animation; Application software; Design automation; Displays; Engines; Geometry; Hardware; Large-scale systems; Rivers; Statistics;
Conference_Titel :
Simulation Conference, 1996. Proceedings. Winter
Print_ISBN :
0-7803-3383-7
DOI :
10.1109/WSC.1996.873317
