Exploiting local persistency for reduced state-space generation - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Innovations in Systems and Software Engineering Année : 2020

Exploiting local persistency for reduced state-space generation

Kamel Barkaoui
Zhiwu Li
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)

Dates et versions

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

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⟩
63 Consultations
64 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More