Communication Dans Un Congrès
Année : 2015
Anicet BART : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01234188
Soumis le : jeudi 26 novembre 2015-13:29:03
Dernière modification le : mardi 27 août 2024-12:46:18
Citer
Anicet Bart, Charlotte Truchet, Eric Monfroy. Verifying a Real-Time Language with Constraints. 27th IEEE International Conference on Tools with Artificial Intelligence, 2015, Vietri sul Mare, Italy. ⟨10.1109/ICTAI.2015.124⟩. ⟨hal-01234188⟩
Collections
184
Consultations
0
Téléchargements