Laure Petrucci

Libros
Transactions on Petri Nets and Other Models of Concurrency XVIII Transactions on Petri Nets and Other Models of Concurrency XVIII
Transactions on Petri Nets and Other Models of Concurrency XVIII
2026
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2023
Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
2022
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2017
Application and Theory of Petri Nets Application and Theory of Petri Nets
Application and Theory of Petri Nets
2011