Visible to the public Proving Abstractions of Dynamical Systems Using Numerical Simulations

Submitted by mitras on Tue, 06/03/2014 - 4:35pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Proving Abstractions of Dynamical Systems Using Numerical Simulations
Switch to experimental viewer
up