Statistics
Publications
2
Citations
74
H-Index
2
Active since
2002
Affiliations
Heinrich Heine University Düsseldorf(Current)
Jérôme Falampin is an author at Heinrich Heine University Düsseldorf.
Publications per year
2002–2011
2
2
Automated property verification for large scale B models with ProB
Michaël Leuschel, Jérôme Falampin, Fabian Fritz et al. · Formal Aspects of Computing · 2011 · 56 citations · Full text
1–2 of 2