TY  - RPRT
TI  - Hierarchical states in the Compositional Interchange Format
AU  - H. Beohar
AU  - D. E. Nadales Agut
AU  - D. A. van Beek
AU  - P. J. L. Cuijpers
PY  - 2010
DO  - 10.4204/eptcs.32.4
UR  - https://arxiv.org/abs/1008.2110
ID  - 1008.2110
ER  -