![](/img/cover-not-exists.png)
[IEEE 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Vietri sul Mare, Italy (2015.11.9-2015.11.11)] 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Verifying a Real-Time Language with Constraints
Bart, Anicet, Truchet, Charlotte, Monfroy, EricYear:
2015
Language:
english
DOI:
10.1109/ictai.2015.124
File:
PDF, 239 KB
english, 2015