Statistics
Publications
4
Citations
83
H-Index
4
Active since
2002
B. Pradin-Chezalviel is an author at Centre National de la Recherche Scientifique specializing in computer science, petri net models, and petri nets.
Publications per year
2002–2003
4
4
Linear logic as a tool for reasoning on a Petri net model
F. Girault, B. Pradin-Chezalviel, Luis Allan Künzle et al. · 2002 · 14 citations
1–4 of 4