![](/img/cover-not-exists.png)
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Eugene Asarin, Gerardo Schneider, Sergio YovineVolume:
379
Year:
2007
Language:
english
Pages:
35
DOI:
10.1016/j.tcs.2007.03.055
File:
PDF, 2.15 MB
english, 2007