Transactions on Petri Nets and Other Models of Concurrency XV - Sorbonne Université
Ouvrages Année : 2021

Transactions on Petri Nets and Other Models of Concurrency XV

Maciej Koutny
  • Fonction : Directeur scientifique
  • PersonId : 855781
Newcastle University [Newcastle]
Fabrice Kordon
Modélisation et Vérification
CV
Lucia Pomello
  • Fonction : Directeur scientifique
Università degli Studi di Milano-Bicocca = University of Milano-Bicocca

Domaines

Génie logiciel [cs.SE] Systèmes embarqués Théorie et langage formel [cs.FL]

Fabrice Kordon  : Connectez-vous pour contacter le contributeur

https://hal.sorbonne-universite.fr/hal-03157708

Soumis le : mercredi 3 mars 2021-13:29:02

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

Consulter le texte intégral

Dates et versions

hal-03157708 , version 1 (03-03-2021)

Identifiants

Citer

Maciej Koutny, Fabrice Kordon, Lucia Pomello (Dir.). Transactions on Petri Nets and Other Models of Concurrency XV. Springer, 12530, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-63079-2⟩. ⟨hal-03157708⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
76 Consultations
0 Téléchargements

Altmetric

Partager

More