Statistics
Publications
1
Citations
10
H-Index
1
Active since
2001
Affiliations
Thales (Netherlands)(Current)
R.F. Lutje Spelberg is an author at Thales (Netherlands) specializing in formal methods, parametric representation, and model checking.
Publications per year
2001–2001
1
1
1–1 of 1