Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics.rarHigh Speed Download
File size : 3 MB