TY  - RPRT
TI  - Modeling Hybrid Systems in Hy-tccp
AU  - Damian Adalid
AU  - Maria del Mar Gallardo
AU  - Laura Titolo
PY  - 2014
UR  - https://arxiv.org/abs/1412.4550
ID  - 1412.4550
ER  -