Sciweavers

Share
FORMATS
2007
Springer

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

11 years 15 days 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