Transactions on Petri Nets and Other Models of Concurrency XV - Sorbonne Université
Books Year : 2021

Transactions on Petri Nets and Other Models of Concurrency XV

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

Domains

Software Engineering [cs.SE] Embedded Systems Formal Languages and Automata Theory [cs.FL]

Fabrice Kordon  : Connect in order to contact the contributor

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

Submitted on : Wednesday, March 3, 2021-1:29:02 PM

Last modification on : Friday, November 24, 2023-11:22:03 AM

Consult the full text

Dates and versions

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

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
59 View
0 Download

Altmetric

Share

More