Simulating Dynamic Systems Using Linear Time Calculus Theories

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

Onderzoeksoutput: Article

6 Citaten (Scopus)

Citeer dit