The Power and Performance of Proof Animation

dc.contributor.authorHenriksen, James O.
dc.date.accessioned2012-01-12T18:46:12Z
dc.date.available2012-01-12T18:46:12Z
dc.date.issued1997
dc.format.extent1098820 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://www.lib.ncsu.edu/resolver/1840.4/5233
dc.language.isoen
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.relation.ispartofseriesWinter Simulation Conference Proceedings
dc.titleThe Power and Performance of Proof Animation
dc.typeTechnical report

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
1997_0081.pdf
Size:
1.05 MB
Format:
Adobe Portable Document Format