Laure Petrucci profile picture

Laure Petrucci

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
Formal Modeling and Analysis of Timed Systems
Application and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Distibuted Systems Design and Algorithms
Distibuted Systems: Design and Algorithms
Distibuted Systems
Models and Analysis for Distributed Systems
Distibuted Systems Design and Algorithms
Distibuted Systems Design and Algorithms
Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
Application and Theory of Petri Nets and Concurrency
Models and Analysis for Distributed Systems
Models And Analysis For Distributed Systems
Critical Systems: Formal Methods and Automated Verification