Anne Labroue

According to our database, Anne Labroue authored at least 2 papers between 2000 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems.

Anne Labroue, Philippe Schnoebelen

Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001

2000

Verifying Performance Equivalence for Timed Basic Parallel Processes.

Béatrice Bérard, Anne Labroue, Philippe Schnoebelen

Proceedings of the Foundations of Software Science and Computation Structures, 2000