DocumentCode

357277

Title

The power and performance of proof animation

Author

Henriksen, James O.

Author_Institution

Wolverine Software Corporation

fYear

1996

fDate

1996

Firstpage

460

Lastpage

467

Keywords

Animation; Application software; Design automation; Displays; Engines; Geometry; Hardware; Large-scale systems; Rivers; Statistics;

fLanguage

English

Publisher

ieee

Conference_Titel

Simulation Conference, 1996. Proceedings. Winter

Print_ISBN

0-7803-3383-7

Type

conf

DOI

10.1109/WSC.1996.873317

Filename

873317