Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives (1995)

Cached

Download Links

by Eugene Asarin , Oded Maler , Amir Pnueli
Venue:Theoretical Computer Science
Citations:110 - 18 self