![](/img/cover-not-exists.png)
Symbolic Algorithmic Analysis of Rectangular Hybrid Systems
Hai-Bin Zhang, Zhen-Hua DuanVolume:
24
Language:
english
Pages:
10
DOI:
10.1007/s11390-009-9243-2
Date:
May, 2009
File:
PDF, 422 KB
english, 2009