Algorithmic analysis of nonlinear hybrid systems
Henzinger, T.A., Pei-Hsin Ho, Wong-Toi, H.Volume:
43
Year:
1998
Language:
english
Pages:
15
DOI:
10.1109/9.664156
File:
PDF, 793 KB
english, 1998