Laure Petrucci

Université Sorbonne Paris Nord - Villetaneuse / France

Others

AD Scientific Index ID: 1712157

Sorbonne Paris North University, University of Paris North, Paris 13 University

Registration, Add Profile,
Premium Membership

Print Your Certificate

Laure Petrucci's MOST POPULAR ARTICLES

1-) Systems and software verification: model-checking techniques and toolsB Bérard, M Bidoit, A Finkel, F Laroussinie, A Petit, L Petrucci, ...Springer Science & Business Media, 201311122013

2-) The petri net markup language: Concepts, technology, and toolsJ Billington, S Christensen, K Hee, E Kindler, O Kummer, L Petrucci, ...International Conference on Application and Theory of Petri Nets, 483-505, 20035382003

3-) Modular analysis of Petri netsS Christensen, L PetrucciThe computer journal 43 (3), 224-242, 20001972000

4-) FAST: Fast acceleration of symbolic transition systemsS Bardin, A Finkel, J Leroux, L PetrucciComputer Aided Verification: 15th International Conference, CAV 2003 …, 20031702003

5-) Structural analysis of workflow nets with shared ressourcesK Barkaoui, L PetrucciWorkflow management: Net-based Concepts, Models, Techniques and Tools (WFM …, 19981081998

ARTICLES

Add your articles