Ikhlass Ammar, Yamen El Touati, John Mullins et Moez Yeddes
Article de revue (2021)
Un lien externe est disponible pour ce document
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/47198/ |
| Titre de la revue: | International Journal of Foundations of Computer Science (vol. 32, no 2) |
| Maison d'édition: | World Scientific |
| DOI: | 10.1142/s0129054121500106 |
| URL officielle: | https://doi.org/10.1142/s0129054121500106 |
| Date du dépôt: | 18 avr. 2023 14:59 |
| Dernière modification: | 05 avr. 2024 11:48 |
| Citer en APA 7: | Ammar, I., El Touati, Y., Mullins, J., & Yeddes, M. (2021). Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. International Journal of Foundations of Computer Science, 32(2), 175-202. https://doi.org/10.1142/s0129054121500106 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
