Sciweavers

HYBRID
1994
Springer

A Note on Abstract Interpretation Strategies for Hybrid Automata

14 years 4 months ago
A Note on Abstract Interpretation Strategies for Hybrid Automata
Thomas A. Henzinger, Pei-Hsin Ho
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where HYBRID
Authors Thomas A. Henzinger, Pei-Hsin Ho
Comments (0)