TY  - RPRT
TI  - Simulating dynamic systems using Linear Time Calculus theories
AU  - Bart Bogaerts
AU  - Joachim Jansen
AU  - Maurice Bruynooghe
AU  - Broes De Cat
AU  - Joost Vennekens
AU  - Marc Denecker
PY  - 2024
DO  - 10.1017/s1471068414000155
UR  - https://arxiv.org/abs/1405.1523
ID  - 1405.1523
ER  -