Olivier F. Roux

Identifiers

No identifiers captured yet.

Papers (1)

1. State Space Computation and Analysis of Time Petri Nets cs.LO · 2005 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Guillaume Gardey 1 shared papers
• Olivier H. Roux 1 shared papers