Sciweavers

Share
FORMATS
2007
Springer

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

9 years 10 months ago
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
Added 07 Jun 2010
Updated 06 Mar 2013
Type Conference
Year 2007
Where FORMATS
Authors Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
Comments (0)
books