| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner: Verification of Timed Automata Using Rewrite Rules and Strategies CoRR abs/0907.3123: (2009) |
| 2001 | ||
| 1 | EE | Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner: Verification of Timed Automata Using Rewrite Rules and Strategies CoRR cs.PL/0109024: (2001) |
| 1 | Emmanuel Beffara | [1] [2] |
| 2 | Olivier Bournez | [1] [2] |
| 3 | Claude Kirchner | [1] [2] |