TY  - RPRT
TI  - Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations
AU  - Atiyah Elsheikh
PY  - 2023
UR  - https://arxiv.org/abs/2308.13081
ID  - 2308.13081
ER  -