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

PDF
English
Year: 2022
Author: Luca Bernardinello, Laure Petrucci

Petri Net Synthesis

PDF
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

PDF
English
Year: 2017
Author: Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)

Distibuted Systems: Design and Algorithms

PDF
English
Year: 2011
Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Distibuted Systems: Design and Algorithms

PDF
English
Year: 2011
Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

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

PDF
English
Year: 2011
Author: Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.)

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

PDF
English
Year: 2011
Author: Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.)

Systems and Software Verification: Model-Checking Techniques and Tools

PDF
English
Year: 2001
Author: Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie (auth.)

Breve storia della scrittura latina

PDF
Italian
Year: 1992
Author: Armando Petrucci

Alle origini dell’epigrafia volgare. Iscrizioni italiane e romanze fino al 1275

PDF
Italian
Year: 2010
Author: Livio Petrucci