Reasoning about Finite-State Switched Systems

Cached

Download Links

by Dana Fisman , Orna Kupferman