Skip to Main content Skip to Navigation
Journal articles

Exploiting local persistency for reduced state-space generation

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02590041
Contributor : Kamel Barkaoui <>
Submitted on : Friday, May 15, 2020 - 1:57:15 PM
Last modification on : Tuesday, December 8, 2020 - 4:02:11 PM

Identifiers

Collections

Citation

Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li. Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, Springer Verlag, 2020, ⟨10.1007/s11334-020-00358-3⟩. ⟨hal-02590041⟩

Share

Metrics

Record views

41