Statistics
Publications
2
Citations
138
H-Index
2
Active since
2000
Affiliations
Catherine Dufourd is an author at Centre National de la Recherche Scientifique specializing in real-time systems verification, computer engineering, and timed automata semantics.
Publications per year
2000–2004
2
2
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury et al. · Theoretical Computer Science · 2004 · 104 citations · Full text
1–2 of 2