Transactions on Petri Nets and Other Models of Concurrency XV

Maciej Koutny; Fabrice Kordon; Lucia Pomello

doi:10.1007/978-3-662-63079-2

Ouvrages Année : 2021

Transactions on Petri Nets and Other Models of Concurrency XV

(1) , (2) , (3)

1
2
3

Maciej Koutny

Fonction : Directeur scientifique
PersonId : 855781

Newcastle University [Newcastle]

Fabrice Kordon

Fonction : Directeur scientifique
PersonId : 9774
IdHAL : fabrice-kordon
ORCID : 0000-0002-5626-828X
IdRef : 074605283

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 : vendredi 24 novembre 2023-11:22:03

Dates et versions

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

Identifiants

HAL Id : hal-03157708 , version 1
DOI : 10.1007/978-3-662-63079-2

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

35 Consultations

0 Téléchargements

Transactions on Petri Nets and Other Models of Concurrency XV

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager