TY  - RPRT
TI  - Concurrent Scheduling of Event-B Models
AU  - Pontus Boström
AU  - Fredrik Degerlund
AU  - Kaisa Sere
AU  - Marina Waldén
PY  - 2011
DO  - 10.4204/eptcs.55.11
UR  - https://arxiv.org/abs/1106.4100
ID  - 1106.4100
ER  -