Statistics
Publications
3
Citations
121
H-Index
3
Active since
2001
Affiliations
Eindhoven University of Technology(Current)
V. Bos is an author at Eindhoven University of Technology specializing in model checking, formal methods, and engineering.
Publications per year
2001–2002
3
3
1–3 of 3