Transactions on Petri Nets and Other Models of Concurrency X - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2015

Transactions on Petri Nets and Other Models of Concurrency X

Maciej Koutny
  • Fonction : Directeur scientifique
  • PersonId : 855781
School of Computer Science
Jörg Desel
  • Fonction : Directeur scientifique
Fakultät für Mathematik und Informatik [Hagen]
Serge Haddad
Modeling and Exploitation of Interaction and Concurrency
Laboratoire Spécification et Vérification [Cachan]
CV

Domaines

Théorie et langage formel [cs.FL]

Benedikt Bollig  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01242977

Soumis le : lundi 14 décembre 2015-13:33:01

Dernière modification le : mercredi 19 avril 2023-04:21:06

Fichier non déposé

Dates et versions

hal-01242977 , version 1 (14-12-2015)

Identifiants

  • HAL Id : hal-01242977 , version 1

Citer

Maciej Koutny, Jörg Desel, Serge Haddad (Dir.). Transactions on Petri Nets and Other Models of Concurrency X. Springer, 9410, 2015. ⟨hal-01242977⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE
90 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More