![](/img/cover-not-exists.png)
Simulating Dynamic Systems Using Linear Time Calculus Theories
BOGAERTS, BART, JANSEN, JOACHIM, BRUYNOOGHE, MAURICE, DE CAT, BROES, VENNEKENS, JOOST, DENECKER, MARCVolume:
14
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/s1471068414000155
Date:
July, 2014
File:
PDF, 151 KB
english, 2014