Observational Preorders for Alternating Transition Systems - Université Paris-Est-Créteil-Val-de-Marne
Communication Dans Un Congrès Année : 2023

Observational Preorders for Alternating Transition Systems

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
main-eumas.pdf (309.32 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Daniele Varacca  : Connectez-vous pour contacter le contributeur

https://hal.u-pec.fr/hal-04247620

Soumis le : mercredi 18 octobre 2023-14:15:08

Dernière modification le : mercredi 30 octobre 2024-13:32:34

Archivage à long terme le : vendredi 19 janvier 2024-19:29:39

Télécharger pour visualiser

Dates et versions

hal-04247620 , version 1 (18-10-2023)

Identifiants

Citer

Romain Demangeon, Catalin Dima, Daniele Varacca. Observational Preorders for Alternating Transition Systems. 20th European Conference on Multi-Agent Systems - EUMAS 2023, Sep 2023, Naples, Italy. pp.312-327, ⟨10.1007/978-3-031-43264-4_20⟩. ⟨hal-04247620⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
86 Consultations
82 Téléchargements

Altmetric

Partager

More