Guillaume Gardey

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Olivier F. Roux 1 shared papers
• Olivier H. Roux 1 shared papers