Article Dans Une Revue
Innovations in Systems and Software Engineering
Année : 2020
Kamel BARKAOUI : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02475928
Soumis le : mercredi 12 février 2020-13:17:50
Dernière modification le : mercredi 9 novembre 2022-13:42:09
Citer
K. Barkaoui, H. Boucheneb, Z. Li. Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 2020, ⟨10.1007/s11334-020-00358-3⟩. ⟨hal-02475928⟩
6
Consultations
0
Téléchargements