Home Advanced Search
Advanced Search - Page 1
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
- English
- Year: 2022
- Author: Luca Bernardinello, Laure Petrucci
Petri Net Synthesis
- English
- Year: 2015
- Author: Eric Badouel, Luca Bernardinello, Philippe Darondeau (auth.)
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
- English
- Year: 2017
- Author: Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)
Distibuted Systems: Design and Algorithms
- English
- Year: 2011
- Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Il cerchio perfetto
- EPUB
- Italian
- Year: 2023
- Author: Claudia Petrucci
La scrittura di Francesco Petrarca
- Italian
- Year: 1967
- Author: Armando Petrucci
