Exploiting local persistency for reduced state-space generation - Archive ouverte HAL Access content directly
Journal Articles Innovations in Systems and Software Engineering Year : 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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
42 View
32 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More