| |
| 2008 | ||
|---|---|---|
| 3 | EE | Bernard Berthomieu, Florent Peres, François Vernadat: Abstract State Spaces for Time Petri Nets Analysis. ISORC 2008: 298-304 |
| 2007 | ||
| 2 | EE | Bernard Berthomieu, Florent Peres, François Vernadat: Model Checking Bounded Prioritized Time Petri Nets. ATVA 2007: 523-532 |
| 2006 | ||
| 1 | EE | Bernard Berthomieu, Florent Peres, François Vernadat: Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS 2006: 82-97 |
| 1 | Bernard Berthomieu | [1] [2] [3] |
| 2 | François Vernadat | [1] [2] [3] |