HAL TEI export of hal-03157708 CCSD CC0 1.0 - Universal

HAL API Platform

 Transactions on Petri Nets and Other Models of Concurrency XV Maciej Koutny f7706dcbdc8e85a2b7b3ba4c71dcce7a newcastle.ac.uk 855781 179461-855781 Fabrice Kordon c31b42c685f457d01a9fb6a6d448fd9d lip6.fr fabrice-kordon 9774 7750-9774 https://orcid.org/0000-0002-5626-828X https://www.idref.fr/074605283 https://viaf.org/viaf/55088809 Lucia Pomello 143807-0 Fabrice Kordon c31b42c685f457d01a9fb6a6d448fd9d lip6.fr 2021-03-03 13:29:02 2026-05-22 16:54:02 2021-03-03 13:29:02 2021-03-02 contributor Fabrice Kordon c31b42c685f457d01a9fb6a6d448fd9d lip6.fr CCSD hal-03157708 https://hal.sorbonne-universite.fr/hal-03157708 koutny:hal-03157708 Springer, 12530, 2021, Lecture Notes in Computer Science, <a target="_blank" href="https://dx.doi.org/10.1007/978-3-662-63079-2">&#x27E8;10.1007/978-3-662-63079-2&#x27E9;</a> Springer, 12530, 2021, Lecture Notes in Computer Science, &#x27E8;10.1007/978-3-662-63079-2&#x27E9; CNRS - Centre national de la recherche scientifique Laboratoire d'Informatique de Paris 6 Sorbonne Université Sorbonne Université 01/01/2018 Faculté des Sciences de Sorbonne Université Collection test HAL CNRS Sorbonne Université - Texte Intégral Alliance Sorbonne Université Mathématiques + Informatique International No Transactions on Petri Nets and Other Models of Concurrency XV Maciej Koutny f7706dcbdc8e85a2b7b3ba4c71dcce7a newcastle.ac.uk 855781 179461-855781 Fabrice Kordon c31b42c685f457d01a9fb6a6d448fd9d lip6.fr fabrice-kordon 9774 7750-9774 https://orcid.org/0000-0002-5626-828X https://www.idref.fr/074605283 https://viaf.org/viaf/55088809 Lucia Pomello 143807-0 Springer Lecture Notes in Computer Science 12530 2021-03-02 10.1007/978-3-662-63079-2 English Computer Science [cs]/Software Engineering [cs.SE] Computer Science [cs]/Embedded Systems Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] Books Directions of work or proceedings Books https://ror.org/01kj2bm70 Newcastle University [Newcastle]
Newcastle upon Tyne NE1 7RU
http://www.ncl.ac.uk/ Modélisation et Vérification MoVe 2018-01-01
097494496 https://ror.org/01ynf4891 Università degli Studi di Milano-Bicocca = University of Milano-Bicocca UNIMIB 1998-06-10
Piazza dell'Ateneo Nuovo, 1 - 20126, Milano
https://www.unimib.it/ 13558292X 199712651U https://ror.org/05krcen59 LIP6 2018-01-01
4 Place JUSSIEU 75252 PARIS CEDEX 05
http://www.lip6.fr/ 221333754 https://ror.org/02en5vm52 Sorbonne Université SU 2018-01-01
21 rue de l’École de médecine - 75006 Paris
http://www.sorbonne-universite.fr/ 02636817X 0000000122597504 https://ror.org/02feahw73 Centre National de la Recherche Scientifique CNRS 1939-10-19
https://www.cnrs.fr/