Skip to Main content Skip to Navigation
Journal articles

Exploiting local persistency for reduced state-space generation

Kamel Barkaoui 1 H. Boucheneb Z. Li 2
1 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02590041
Contributor : Kamel Barkaoui <>
Submitted on : Friday, May 15, 2020 - 1:57:15 PM
Last modification on : Sunday, May 17, 2020 - 2:16:35 AM

Identifiers

Collections

Citation

Kamel Barkaoui, H. Boucheneb, Z. 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

9