TY  - RPRT
TI  - Hybrid Automata Library
AU  - Bravo, R. R.
AU  - Robertson-Tessi, M.
AU  - Anderson, A. R. A.
PY  - 2018
DO  - 10.1101/411538
UR  - https://www.biorxiv.org/content/10.1101/411538v1
ID  - 10.1101/411538
ER  -