Stubborn Sets for Time Petri Nets

Hanifa Boucheneb; Kamel Barkaoui

doi:10.1145/2680541

Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2015

Stubborn Sets for Time Petri Nets

(1) , (2)

1
2

Hanifa Boucheneb

Fonction : Auteur
PersonId : 848572

Laboratoire VeriForm - Department of Computer Engineering

Kamel Barkaoui

Fonction : Auteur
PersonId : 182238
IdHAL : kamel-barkaoui

CEDRIC. Systèmes sûrs

Domaines

Informatique [cs] Complexité [cs.CC]

Kamel BARKAOUI : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02479678

Soumis le : vendredi 14 février 2020-16:01:15

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

Dates et versions

hal-02479678 , version 1 (14-02-2020)

Identifiants

HAL Id : hal-02479678 , version 1
DOI : 10.1145/2680541

Citer

Hanifa Boucheneb, Kamel Barkaoui. Stubborn Sets for Time Petri Nets. ACM Transactions on Embedded Computing Systems (TECS), 2015, 14 (1), pp.1-25. ⟨10.1145/2680541⟩. ⟨hal-02479678⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM HESAM

14 Consultations

0 Téléchargements

Stubborn Sets for Time Petri Nets

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager