The Power And Performance Of Proof Animation

Author

Henriksen, James O.

Author_Institution

Wolverine Software Corporation

fYear

1997

fDate

7-10 Dec. 1997

Firstpage

574

Lastpage

580

Keywords

Animation; Computer languages; Discrete event simulation; Displays; Engines; Geometry; Hardware; Rivers; Runtime; Statistics;

fLanguage

English

Publisher

ieee

Conference_Titel

Simulation Conference, 1997., Proceedings of the 1997 Winter

Conference_Location

Atlanta, Georgia, USA

Print_ISBN

0-7803-4278-X

Type

DOI

10.1109/WSC.1997.640921

Filename

640921

Link To Document