SLX TM and Proof Animation TM: Improved Integration Between Simulation and Animation

James O. Henriksen. SLX TM and Proof Animation TM: Improved Integration Between Simulation and Animation. In Oliver Deussen, Peter Lorenz, editors, Simulation und Animation 1997 (SimVis 1997), 6-7 März 1997, Magdeburg. pages 287-294, SCS Publishing House e.V., 1997.

Abstract

Abstract is missing.