| 2006 |
|---|
| 4 | EE | Jamil Ahmad,
Adrien Richard,
Gilles Bernot,
Jean-Paul Comet,
Olivier F. Roux:
Delays in Biological Regulatory Networks (BRN).
International Conference on Computational Science (2) 2006: 887-894 |
| 3 | EE | Guillaume Gardey,
Olivier H. Roux,
Olivier F. Roux:
State space computation and analysis of Time Petri Nets.
TPLP 6(3): 301-320 (2006) |
| 2005 |
|---|
| 2 | EE | Guillaume Gardey,
Olivier H. Roux,
Olivier F. Roux:
State Space Computation and Analysis of Time Petri Nets
CoRR abs/cs/0505023: (2005) |
| 2003 |
|---|
| 1 | EE | Guillaume Gardey,
Olivier H. Roux,
Olivier F. Roux:
Using Zone Graph Method for Computing the State Space of a Time Petri Net.
FORMATS 2003: 246-259 |
