Laure Petrucci

No bio available. Add one in Open Library.

Books by Laure Petrucci (50 max)

+ shelf+ list

Distibuted Systems Design and Algorithms

2011

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

+ shelf+ list

Models and Analysis for Distributed Systems

2011

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

+ shelf+ list

Application and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

2011

Lars M. Kristensen, Laure Petrucci

+ shelf+ list

Critical Systems : Formal Methods and Automated Verification

2017

Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti

+ shelf+ list

Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings

2022

Luca Bernardinello, Laure Petrucci

+ shelf+ list

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

2023

Laure Petrucci, Jeremy Sproston