Grard Berthelot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1976–2004
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | SMC | Verification technique for time Petri nets. | Patrice Bonhomme, Grard Berthelot, Pascal Aygalinc, Soizick Calvez |
| 1990 | CAV | PAPETRI: Environment for the Analysis of Petri Nets. | Grard Berthelot, Colette Johnen, Laure Petrucci |
| 1976 | MFCS | Reduction of Petri-Nets. | Grard Berthelot, Grard Roucairol |