TY  - RPRT
TI  - Towards Scalable Modeling of Biology in Event-B
AU  - Usman Sanwal
AU  - Thai Son Hoang
AU  - Luigia Petre
AU  - Ion Petre
PY  - 2021
UR  - https://arxiv.org/abs/2105.10344
ID  - 2105.10344
ER  -