Exploiting local persistency for reduced state-space generation

Kamel Barkaoui; Hanifa Boucheneb; Zhiwu Li

doi:10.1007/s11334-020-00358-3

Article Dans Une Revue Innovations in Systems and Software Engineering Année : 2020

Exploiting local persistency for reduced state-space generation

(1) , (2) , (3)

1
2
3

Kamel Barkaoui

Fonction : Auteur
PersonId : 182238
IdHAL : kamel-barkaoui

CEDRIC. Systèmes sûrs

Hanifa Boucheneb

Fonction : Auteur

École Polytechnique de Montréal

Zhiwu Li

Fonction : Auteur
PersonId : 773377
ORCID : 0000-0003-1547-5503

Macau University of Science and Technology

Domaines

Informatique [cs]

Fichier principal

Exploiting local persistency for reduced state space.pdf (246.41 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Kamel Barkaoui : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02590041

Soumis le : lundi 7 mars 2022-17:30:08

Dernière modification le : jeudi 10 août 2023-15:25:07

Archivage à long terme le : mercredi 8 juin 2022-20:59:23

Dates et versions

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

Identifiants

HAL Id : hal-02590041 , version 1
DOI : 10.1007/s11334-020-00358-3

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM HESAM

55 Consultations

49 Téléchargements

Exploiting local persistency for reduced state-space generation

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager