@misc{indiciae50336bd6451d,
  title = {Simulating dynamic systems using Linear Time Calculus theories},
  author = {Bart Bogaerts and Joachim Jansen and Maurice Bruynooghe and Broes De Cat and Joost Vennekens and Marc Denecker},
  year = {2024},
  doi = {10.1017/s1471068414000155},
  url = {https://arxiv.org/abs/1405.1523},
  note = {Source identifier: 1405.1523}
}