TY  - CONF

T1  - Hierarchical states in the Compositional Interchange Format

JO  - Electronic Proceedings in Theoretical Computer Science

UR  - https://doi.org/10.4204/eptcs.32.4

PY  - 2010/08/11

AU  - Beohar H

AU  - Nadales Agut DE

AU  - van Beek DA

AU  - Cuijpers PJL

ED  - 

DO  - DOI: 10.4204/eptcs.32.4

PB  - Open Publishing Association

VL  - 32

SP  - 42

EP  - 56

Y2  - 2025/11/29

ER  -