Anne Labroue

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

Anne Labroue, Philippe Schnoebelen
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. Nord. J. Comput. 9 (1) (2002)
Anne Labroue, Philippe Schnoebelen
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. EXPRESS (2001)
Béatrice Bérard, Anne Labroue, Philippe Schnoebelen
Verifying Performance Equivalence for Timed Basic Parallel Processes. FoSSaCS (2000)