TY  - RPRT
TI  - Controllable-choice Message Sequence Graphs
AU  - Martin Chmelík
AU  - Vojtěch Řehák
PY  - 2012
UR  - https://arxiv.org/abs/1209.4499
ID  - 1209.4499
ER  -