L
Laure Petrucci
6 works on record
Works
Application and Theory of Petri Nets
Critical Systems
Distibuted Systems
Distibuted Systems
Models and Analysis for Distributed Systems
Models and Analysis for Distributed Systems
Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems