Skip to Main content Skip to Navigation
Journal articles

Exploiting local persistency for reduced state-space generation

Kamel Barkaoui 1 Hanifa Boucheneb 2 Zhiwu Li 3
1 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
2 EPM - École Polytechnique de Montréal
3 MUST - Macau University of Science and Technology
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

CEDRIC-CNAM | CNAM | UNIV-HESAM

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

41