Proving Abstractions of Dynamical Systems Using Numerical Simulations
License:
Creative Commons 2.5
Sayan Mitra
Other available formats:
Proving Abstractions of Dynamical Systems Using Numerical Simulations
Switch to normal viewer
Switch to experimental viewer