Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li
Article de revue (2020)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Renseignements supplémentaires:
Groupe de recherche: VeriForm
Département:
Unité de recherche:
Adresse URL de PolyPublie:
Titre de la revue
:
Innovations in Systems and Software Engineering
(
vol.
16
,
no
2
)
Maison d'édition:
Springer
URL officielle:
OAI:
oai:publications.polymtl.ca:45293
ORCID
Date du dépôt:
18 avr. 2023 15:00
Dernière modification:
14 oct. 2026 13:58
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
