Simulating Dynamic Systems Using Linear Time Calculus Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes de Cat, Joost Vennekens, Marc Denecker. Simulating Dynamic Systems Using Linear Time Calculus Theories. TPLP, 14(4-5):477-492, 2014. [doi]

This author has not been identified. Look up 'Bart Bogaerts' in GoogleThis author has not been identified. Look up 'Joachim Jansen' in GoogleThis author has not been identified. It may be one of the following persons:

Maurice Bruynooghe

Look up 'Maurice Bruynooghe' in GoogleThis author has not been identified. Look up 'Broes de Cat' in GoogleThis author has not been identified. Look up 'Joost Vennekens' in GoogleThis author has not been identified. Look up 'Marc Denecker' in Google

runs on WebDSL