| |
| 2002 | ||
|---|---|---|
| 3 | Anne Labroue, Ph. Schnoebelen: An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. Nord. J. Comput. 9(1): 118-144 (2002) | |
| 2001 | ||
| 2 | EE | Anne Labroue, Ph. Schnoebelen: An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. Electr. Notes Theor. Comput. Sci. 52(1): (2001) |
| 2000 | ||
| 1 | EE | Béatrice Bérard, Anne Labroue, Ph. Schnoebelen: Verifying Performance Equivalence for Timed Basic Parallel Processes. FoSSaCS 2000: 35-47 |
| 1 | Béatrice Bérard | [1] |
| 2 | Ph. Schnoebelen | [1] [2] [3] |