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