Applying Reduction Rules to ECATNets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Applying Reduction Rules to ECATNets

Noura Boudiaf
  • Fonction : Auteur
  • PersonId : 964613
Centre d'études et de recherche en informatique et communications
Kamel Barkaoui
Centre d'études et de recherche en informatique et communications
A. Chaoui
  • Fonction : Auteur

Domaines

Informatique [cs] Calcul parallèle, distribué et partagé [cs.DC]

Laboratoire CEDRIC  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01125480

Soumis le : vendredi 6 mars 2015-11:10:42

Dernière modification le : vendredi 5 août 2022-14:54:00

Fichier non déposé

Dates et versions

hal-01125480 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125480 , version 1

Citer

Noura Boudiaf, Kamel Barkaoui, A. Chaoui. Applying Reduction Rules to ECATNets. AVIS'06, 5th International Workshop on Automated Verification of Infinite-State Systems, Vienna, Austria, Jan 2006, X, France. pp.42-55. ⟨hal-01125480⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM
14 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More