Transactions on Petri Nets and Other Models of Concurrency XV

Maciej Koutny; Fabrice Kordon; Lucia Pomello

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

Directions of work or proceedings

Transactions on Petri Nets and Other Models of Concurrency XV

Maciej Koutny ¹ Fabrice Kordon ² Lucia Pomello ³

1 Newcastle University [Newcastle]

2 MoVe - Modélisation et Vérification

LIP6

3 UNIMIB - Università degli Studi di Milano-Bicocca [Milano]

Document type :

Directions of work or proceedings

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Computer Science [cs] / Embedded Systems

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Complete list of metadata

https://hal.sorbonne-universite.fr/hal-03157708
Contributor : Fabrice Kordon Connect in order to contact the contributor
Submitted on : Wednesday, March 3, 2021 - 1:29:02 PM
Last modification on : Sunday, June 26, 2022 - 3:05:40 AM

Transactions on Petri Nets and Other Models of Concurrency XV

Identifiers

Collections

Citation

Export

Metrics

25

Transactions on Petri Nets and Other Models of Concurrency XV

Identifiers

Collections

Citation

Export

Share

Metrics

25