Article Dans Une Revue Innovations in Systems and Software Engineering Année : 2020

Exploiting local persistency for reduced state-space generation

Fichier principal
Vignette du fichier
Exploiting local persistency for reduced state space.pdf (246.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-02590041 , version 1 (07-03-2022)

Licence

Identifiants

Citer

Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li. Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 2020, ⟨10.1007/s11334-020-00358-3⟩. ⟨hal-02590041⟩
136 Consultations
245 Téléchargements

Altmetric

Partager

  • More