Stubborn Sets for Time Petri Nets - Archive ouverte HAL
Article Dans Une Revue ACM Transactions on Embedded Computing Systems (TECS) Année : 2015

Stubborn Sets for Time Petri Nets

Hanifa Boucheneb
  • Fonction : Auteur
  • PersonId : 848572
Laboratoire VeriForm - Department of Computer Engineering
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 : vendredi 19 juillet 2024-11:38:05

Fichier non déposé

Dates et versions

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

Identifiants

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
31 Consultations
0 Téléchargements

Altmetric

Partager

More