TY  - RPRT
TI  - Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
AU  - Sumit Kumar Jha
PY  - 2007
UR  - https://arxiv.org/abs/0710.3764
ID  - 0710.3764
ER  -