K. Barkaoui, Hanifa Boucheneb
et Z. Li
Article de revue (2020)
Un lien externe est disponible pour ce document
| Renseignements supplémentaires: | Groupe de recherche: VeriForm |
|---|---|
| Département: | Département de génie informatique et génie logiciel |
| Centre de recherche: | Autre |
| URL de PolyPublie: | https://publications.polymtl.ca/45293/ |
| Titre de la revue: | Innovations in Systems and Software Engineering (vol. 16, no 2) |
| Maison d'édition: | Springer |
| DOI: | 10.1007/s11334-020-00358-3 |
| URL officielle: | https://doi.org/10.1007/s11334-020-00358-3 |
| Date du dépôt: | 18 avr. 2023 15:00 |
| Dernière modification: | 05 avr. 2024 11:44 |
| Citer en APA 7: | Barkaoui, K., Boucheneb, H., & Li, Z. (2020). Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 16(2), 181-197. https://doi.org/10.1007/s11334-020-00358-3 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
