Sciweavers

Share
HASE
2008
IEEE

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

11 years 6 months ago
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions
Sumit Kumar Jha, Susmit Jha
Added 09 Nov 2010
Updated 06 Mar 2013
Type Conference
Year 2008
Where HASE
Authors Sumit Kumar Jha, Susmit Jha
Comments (0)
books