Simulating Dynamic Systems Using Linear Time Calculus Theories

Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes de Cat, Joost Vennekens, Marc Denecker

Research output: Contribution to journalArticle

6 Citations (Scopus)

Cite this